OFFSET
1,6
COMMENTS
Conjecture: a(n) > 0 for all n > 3.
This implies that there are infinitely many positive integers k such that k*q == 1 (mod prime(k)) for some prime q < prime(k).
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(11) = 1 since 11 = 4 + 7, 4*2 == 1 (mod prime(4)=7) with 2 prime, and 7*5 == 1 (mod Prime(7)=17) with 5 prime.
a(36) = 1 since 36 = 18 + 18, and 18*17 == 1 (mod 61) with 17 prime.
a(46) = 1 since 46 = 6 + 40, 6*11 == 1 (mod prime(6)= 13) with 11 prime, and 40*13 == 1 (mod prime(40)=173) with 13 prime.
MATHEMATICA
p[n_]:=PrimeQ[PowerMod[n, -1, Prime[n]]]
Do[m=0; Do[If[p[k]&&p[n-k], m=m+1], {k, 1, n/2}]; Print[n, " ", m]; Continue, {n, 1, 80}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, May 22 2014
STATUS
approved