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”).

A242754
Positive integers k such that k*p == 1 (mod prime(k)) for some prime p < prime(k).
5
2, 3, 4, 6, 7, 10, 11, 13, 17, 18, 21, 31, 37, 40, 41, 46, 48, 49, 52, 53, 58, 60, 64, 66, 70, 71, 72, 73, 75, 81, 85, 92, 93, 96, 100, 102, 109, 117, 119, 127, 136, 137, 140, 143, 145, 146, 149, 160, 162, 179, 189, 194, 200, 206, 215, 232, 233, 243, 246, 247
OFFSET
1,1
COMMENTS
According to the conjecture in A242753, this sequence should have infinitely many terms.
Conjecture: The number of terms not exceeding x > 1 has the main term x/(log x) as x tends to infinity.
EXAMPLE
a(4) = 6 since 6*11 == 1 (mod prime(6)=13) with 11 prime, but 5*9 == 1 (mod prime(5)=11) with 9 composite.
MATHEMATICA
p[n_]:=PrimeQ[PowerMod[n, -1, Prime[n]]]
n=0; Do[If[p[k], n=n+1; Print[n, " ", k]]; Continue, {k, 1, 247}]
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, May 22 2014
STATUS
approved