OFFSET
1,1
COMMENTS
The present sequence gives the indices of those terms of A090395 such that all subsequent terms are larger. This can be used to verify whether a number N is in A091896, which lists the numbers that don't occur in A090395.
It appears that a(n) is divisible by 12 for all n >= 2, by 5 for all n >= 18, by 24 (thus by 120) for all n > 23. Can somebody prove this?
FORMULA
a(n+1) > a(n).
PROG
(PARI) L=List(); forstep(n=m=65520, 1, -1, m>(m=min(A090395(n), m)) && listput(L, n)); Vecrev(L)
CROSSREFS
KEYWORD
nonn
AUTHOR
M. F. Hasler, Apr 15 2022
STATUS
approved