Assuming that the Conjecture is true, one can consider the problem
of determining the * expected size*
of the total stopping time function
.
Crandall [28] and Shanks [63] were guided by
probabilistic heuristic arguments (like the one described earlier)
to conjecture that the average order of
should be a constant times ; more precisely, that
( Click here and
here for further information on
.)