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.
LINKS
Geoffrey H. Morley, Table of n, a(n) for n = 2..3908
CROSSREFS
KEYWORD
nonn
AUTHOR
Geoffrey H. Morley, Jul 05 2013
STATUS
approved