I can only speculate that Collatz himself knew it was true, or proved it was true, in that case.
But when he looked at multiplying by three, he couldn't prove it.
Once an even number that is a power of 2 is reached, it will divide down to 1.
So the question is whether or not there is an odd number that will never iterate to a power of 2?
Did I win?
-PJ