OFFSET
2,2
COMMENTS
A cycle is called primitive if its elements are not a common multiple of the elements of another cycle.
The 3x+k function T_k is defined by T_k(x) = x/2 if x is even, (3x+k)/2 if x is odd, where k is odd.
For primitive cycles, GCD(k,6)=1.
For n>1, T_k has a primitive cycle of length n which includes 1 when k = A036563(n) = 2^n-3. So a(n) <= 2^n-3.
CROSSREFS
KEYWORD
nonn
AUTHOR
Geoffrey H. Morley, Jul 02 2013
STATUS
approved