OFFSET
1,2
COMMENTS
It is conjectured that A391016 is a lower bound of these products.
LINKS
Hugo Pfoertner, Table of n, a(n) for n = 1..60
Hugo Pfoertner, Table of n, a(n), A391018(n) and product, (2025).
EXAMPLE
a(1) = 1: the empty product = 1.0;
a(2) = 3: the orbit of 3 is 3, 10, 5, 16, 8, 4, 2, 1. Terms == 4 mod 6 in this orbit are 10, 16 and 4. Prod_{j=[10,16,4]} (j-1)/j = (9/10) * (15/16) * (3/4) = 81/128 = 0.6328125 < 1.0.
a(3) = 7: the orbit of 7 is 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1. Terms == 4 mod 6 in this orbit are 22, 34, 52, 40, 10, 16, 4. Prod_{j=[22,34,52,40,10,16,4]} (j-1)/j = (21/22) * (33/34) * (51/52) * (39/40) * (9/10) * (15/16) * (3/4) = 45927/81920 = 0.56063232421875 < a(2).
PROG
(PARI) a391017(upto) = my(smin=1); print1(1, ", "); forstep(n=1, upto, 2, my(k=n, s=1); while(k>1, if(k%6==4, s*=(k-1)/k); k=if(k%2, 3*k+1, k>>1)); if(s<smin, print1(n, ", "); smin=s))
CROSSREFS
KEYWORD
nonn
AUTHOR
Hugo Pfoertner and Markus Sigg, Nov 26 2025
STATUS
approved
