OFFSET
1,4
COMMENTS
According to the conjecture in A242753, a(n) should be positive for all n > 3.
We have verified that a(n) > 0 for all n = 4, ..., 10^8.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(4) = 2 since 4 = 2 + 2 and 2*2 == 1 (mod prime(2)=3).
a(7) = 3 since 7 = 3 + 4, 3*2 == 1 (mod prime(3)=5) with 2 prime, and also 4*2 == 1 (mod prime(4)=7) with 2 prime, but 5*9 == 1 (mod prime(5)=11) with 9 not prime.
MATHEMATICA
p[n_]:=PrimeQ[PowerMod[n, -1, Prime[n]]]
Do[Do[If[p[k]&&p[n-k], Print[n, " ", k]; Goto[aa]]; Continue, {k, 1, n/2}]; Print[n, " ", 0]; Label[aa]; Continue, {n, 1, 80}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, May 25 2014
STATUS
approved