The following heuristic probabilistic argument supports the
Conjecture (see [28]).
Pick an odd integer 
at random and iterate the function T
until another odd integer 
occurs.
Then 
of the time 
of the time 
of the time 
, and so on.
If one supposes that the function T is sufficiently ``mixing''
that successive odd integers in the trajectory of n
behave as though they were drawn at random
from the set of odd integers
for all k, then the
expected growth in size between two consecutive odd integers in such a
trajectory is the multiplicative factor
Consequently this heuristic argument suggests that on average the iterates in
a trajectory tend to shrink in size, so that divergent trajectories should not
exist.
Furthermore it suggests that the total stopping time
is (in some average sense) a constant multiple of 
.
(Click here for more.)