OFFSET
1,1
COMMENTS
The sequence is "hard" in the sense that it not known how to prove that the necessary conditions are sufficient for the existence of primes.
LINKS
David Broadhurst and Mike Oakes, Primes of the form a^2 + k^n = b^2 + k^m.
David Broadhurst and Mike Oakes, proof of the necessity the conditions given for the conjectured generating method.
FORMULA
Conjecturally, a(n) is the n-th positive nonsquare integer that is not congruent to -1 mod 4, nor to -1 mod 5, nor to -7 mod 16.
EXAMPLE
a(5455)=9998 because it was possible to find primes of the form a^2 + k^n = b^2 + k^m with positive integers (a,b,k,m,n), a > b, k < 10^4 and k satisfying the proved necessary conditions of the conjectured generating method.
PROG
(PARI) {ls=[]; for(k=1, 10^4, if(!issquare(k)&&(k+1)%4&&(k+1)%5&&(k+7)%16, ls=concat(ls, k))); print(ls)}
CROSSREFS
KEYWORD
hard,nonn
AUTHOR
David Broadhurst, Jul 29 2006
STATUS
approved