OFFSET
1,1
COMMENTS
m=7 in the PARI script. 13 is the next base prime for which this condition holds. In fact, the base prime q in q^p-2 is prime must be of the form 6n+1.
This follows from the fact that if q = 6n-1, the binomial q^p = (6n-1)^p = 6h-1 for some h and q^p-2 = 6h-1-2 is divisible by 3 and thus not prime.
a(5) > 90263. - J.W.L. (Jan) Eerland, Dec 11 2022
a(5) > 274120 using A090669. - Michael S. Branicky, Jul 07 2024
FORMULA
MATHEMATICA
Select[Prime[Range[150]], PrimeQ[7^#-2]&] (* Harvey P. Dale, Feb 20 2013 *)
PROG
(PARI) g(n, m)=forprime(p=2, n, y=m^p-2; if(ispseudoprime(y), print1(p", ")))
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Cino Hilliard, Nov 12 2008
EXTENSIONS
Offset corrected by Mohammed Yaseen, Jul 20 2023
STATUS
approved