OFFSET
1,8
COMMENTS
If n=3j+1, then all 2*n^k+1 are divisible by 3 and cannot be prime, so we limited the n in A007494 (n which is not in the form 3j+1).
Conjecture: a(n) is defined for all n.
a(145) > 200000, a(146) - a(156) = {1, 1, 66, 1, 4, 3, 1, 1, 1, 1, 6}, a(157) > 100000, a(158) - a(180) = {2, 1, 2, 11, 1, 1, 3, 321, 1, 1, 3, 1, 2, 12183, 5, 1, 1, 957, 2, 3, 16, 3, 1}.
a(n) = 1 if and only if n is in A144769.
LINKS
Eric Chen, Table of n, a(n) for n = 1..144
MATHEMATICA
PROG
(PARI) a007494(n) = n+(n+1)>>1
a(n) = for(k=1, 2^24, if(ispseudoprime(2*a007494(n)^k+1), return(k)))
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
Eric Chen, Mar 20 2015
STATUS
proposed