OFFSET
1,1
PROG
(PARI) a(n) = my(N = 2^(2^n)); N - precprime(precprime(N)-1) \\ Michel Marcus, Jun 29 2013
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Warren D. Smith, Nov 30 2000
EXTENSIONS
a(15) from Jinyuan Wang, Jun 06 2020
a(16) from Michael S. Branicky, Apr 23 2023
STATUS
approved