OFFSET
1,2
COMMENTS
This has been verified for n up to 10^7.
Conjecture: Consider A006666 and A006667, the sequences giving the number of halving and tripling steps to reach 1 in 3x+1 problem. There exists a rational constant c such that c <= n*3^A006667(n)/2^A006666(n) <= 1 where c = 1840049047529878113/2305843009213693952 is the last term in the sequence of the ratios.
EXAMPLE
For n=1 to 10 the ratios are: 1, 1, 27/32, 1, 15/16, 27/32, 1701/2048, 1, 6561/8192, 15/16, so the low records are 1, 27/32, 1701/2048, 6561/8192, ...
MATHEMATICA
q=1; Collatz[n_]:=NestWhileList[If[EvenQ[#], #/2, 3 #+1]&, n, #>1&]; nn=5000; t={}; n=0; While[Length[t]<nn, n++; c=Collatz[n]; ev=Length[Select[c, EvenQ]]; od=Length[c]-ev-1; If[n*3^od/2^ev<q, Print[n, " ", od, " ", ev, " ", n*3^od/2^ev]; q=n*3^od/2^ev]]
PROG
(PARI) ht(n) = my(h, t); while(n>1, if(n%2, n=3*n+1; t++, n>>=1; h++)); return([h, t]);
lista(nn) = {m = 2; for (n=1, nn, v = ht(n); newm = n*3^v[2]/2^v[1]; if (newm < m, print1(numerator(newm), ", "); m = newm)); } \\ Michel Marcus, May 06 2018
CROSSREFS
KEYWORD
nonn,frac,more
AUTHOR
Michel Lagneau, May 03 2018
STATUS
approved