1,2

Heuristics show that these terms are valid, but a strict proof is yet to be done.

a(1)-a(11) verified via StÃ¸rmer's theorem. - Charles R Greathouse IV, Feb 19 2013

Andrey V. Kulsha, Table of n, a(n) for n = 1..25

Cf. A003033, A193944, A193946, A145605.

Sequence in context: A115164 A088801 A003033 * A087147 A152607 A118559

Adjacent sequences: A193942 A193943 A193944 * A193946 A193947 A193948

nonn

Andrey V. Kulsha, Aug 10 2011

approved