OFFSET
1,2
COMMENTS
Conjecture 1: A347409(a(n)) is even for n >= 11. Conjecture 2: all even numbers > 2 appear as A347409(a(n)) for some n. - Chai Wah Wu, Sep 29 2021
If conjectures 1 and 2 are true, then A347409(a(n)) = 2n - 6 for n >= 11, and hence a(n) <= (4^(n-3)-1)/3 for n >= 11 since A347409((4^(n-3)-1)/3) = 2n - 6. - Charles R Greathouse IV, Oct 25 2022
LINKS
MATHEMATICA
PROG
(PARI) f(n)=my(nb=0); while (n != 1, if (n % 2, n=3*n+1, my(x = valuation(n, 2)); n /= 2^x; nb = max(nb, x)); ); nb; \\ A347409
lista(nn) = my(r=-1, m); for (n=1, nn, if ((m=f(n)) > r, print1(n, ", "); r = m); ); \\ Michel Marcus, Sep 10 2021
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Paolo Xausa, Sep 10 2021
EXTENSIONS
a(15) from Michel Marcus, Sep 10 2021
a(16)-a(17) from Alois P. Heinz, Sep 10 2021
a(18)-a(20) from Michael S. Branicky, Sep 28 2021
a(21)-a(22) from Michael S. Branicky, Sep 30 2021
a(23) from Michael S. Branicky, Oct 04 2021
a(24)-a(27) from Kevin P. Thompson, Apr 14 2022
STATUS
approved