OFFSET
1,1
COMMENTS
Note that 65537=2^16+1 is the largest known Fermat prime. These n yield provable primes. The primes are the smallest numbers in classes 303, 1711 and 81375 of the phi iteration (see A007755).
Jacques Molne found 512895. The corresponding provable prime is the smallest number in class 512911 of the Phi iteration.
PROG
(PARI) is(n)=ispseudoprime(65537*2^n+1) \\ Charles R Greathouse IV, Jun 13 2017
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
T. D. Noe, Aug 30 2005, Aug 26 2007
STATUS
approved