OFFSET
0,1
COMMENTS
In other words, 2*b^(2^n)+3 is also prime.
For n > 1, a(n) ends in 0 because b is even (or else b^(2^n)+1 would have 2 as a proper divisor) and b == 0 (mod 5) (or else 2*b^(2^n)+3 would have 5 as a proper divisor).
LINKS
PrimeGrid and "Stream", GFN-1x Small Primes search, mentions a(12).
PROG
(PARI) a(n)=n<2&&return(2); forstep(b=10, +oo, 10, ispseudoprime(b^(2^n)+1)&&ispseudoprime(2*b^(2^n)+3)&&return(b))
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jeppe Stig Nielsen, Nov 23 2022
STATUS
approved