OFFSET
1,1
COMMENTS
Currently terms through a(16) = 12874 have been proved to be correct, while remaining terms are conjectural. Stormer's theorem (see link) provides an approach to proving their correctness. Such an approach should be easy for the first few terms. - Franklin T. Adams-Watters, Nov 07 2011
LINKS
Andrey V. Kulsha, Table of n, a(n) for n = 1..39
Wikipedia, Stormer's theorem
CROSSREFS
KEYWORD
nonn
AUTHOR
Andrey V. Kulsha, Aug 10 2011
STATUS
approved