OFFSET
1,3
COMMENTS
After 1, m is not of the form 3*k+1 because in this case 4^m+5 is divisible by 9; after 2, m is not of the form 3*k+2 because in this case 4^m+5 is divisible by 7. Therefore, m>2 is always a multiple of 3. - Bruno Berselli, Aug 25 2015
Larger members of the sequence generate probable primes only. - Serge Batalov, Aug 27 2015
LINKS
Henri & Renaud Lifchitz PRPtop, (2^n+5)/3 PRPs
EXAMPLE
6 is in the sequence because (4^6+5)/3 = 1367 is prime.
9 is in the sequence because (4^9+5)/3 = 87383 is prime.
4 is not in the sequence because (4^4+5)/3 = 87 = 3*29 is not prime.
MATHEMATICA
Select[Range[0, 5000], PrimeQ[(4^# + 5)/3] &]
PROG
(Magma) [n: n in [0..1000] | IsPrime((4^n+5) div 3)];
(PARI) isok(n)=isprime((4^n + 5) / 3) \\ Anders Hellström, Aug 25 2015
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Vincenzo Librandi, Aug 25 2015
EXTENSIONS
a(18)-a(23) from Lelio R Paula (2012-2014) via Serge Batalov, Aug 27 2015
a(24)-a(25) from Serge Batalov, Aug 29 2015
STATUS
approved