OFFSET
0,2
COMMENTS
The Collatz conjecture is that a(n) is finite. If 1 should never be reached then a(n) = -1.
a(n) gives also the minimal number of iterations of the Vaillant-Delarue map f, defined in A324245, acting on n to reach 0 (assuming the Collatz conjecture).
For the link to the Vaillant-Delarue paper (where fs is called f_s) see A324036.
FORMULA
fs^[a(n)](1 + 2*n) = 1 but fs^[a(n)-1](1 + 2*n) is not 1 (for all n with finite a(n)), where fs is the modified reduced Collatz map defined for 1 + 2*n in A324036(n), for n >= 1, and a(0) = 0.
EXAMPLE
CROSSREFS
KEYWORD
nonn
AUTHOR
Nicolas Vaillant, Philippe Delarue, Wolfdieter Lang, May 09 2019
STATUS
approved