login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A242755
Primes p such that pi(p)*q == 1 (mod p) for some prime q < p, where pi(p) is the number of primes not exceeding p.
5
3, 5, 7, 13, 17, 29, 31, 41, 59, 61, 73, 127, 157, 173, 179, 199, 223, 227, 239, 241, 271, 281, 311, 317, 349, 353, 359, 367, 379, 419, 439, 479, 487, 503, 541, 557, 599, 643, 653, 709, 769, 773, 809, 823, 829, 839, 859, 941, 953, 1063
OFFSET
1,1
COMMENTS
According to the conjecture in A242753, this sequence should contain infinitely many primes.
Conjecture: The number of such primes not exceeding x > 1 has the main term x/(log x)^2 as x tends to infinity.
EXAMPLE
a(4) = 13 since 13 is prime with pi(13) = 6, and 6*11 == 1 (mod 13) with 11 prime, but pi(11)*9 == 1 (mod 11) with 9 not prime.
MATHEMATICA
p[n_]:=PrimeQ[PowerMod[n, -1, Prime[n]]]
n=0; Do[If[p[k], n=n+1; Print[n, " ", Prime[k]]]; Continue, {k, 1, 179}]
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, May 22 2014
STATUS
approved