OFFSET
1,14
COMMENTS
Conjecture: a(n) > 0 for all n > 23.
This is stronger than Goldbach's conjecture and Lemoine's conjecture (cf. A046927).
We have verified the conjecture for n up to 3*10^6.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(10) = 1 since 10 = 7 + 3 with 7, 3, phi(7+1) - 1 = 3 and phi(3-1) + 1 = 2 all prime.
a(499) = 1 since 499 = 2*199 + 101 with 199, 101, phi(199+1) - 1 = 79 and phi(101-1) + 1 = 41 all prime.
a(869) = 1 since 869 = 2*433 + 3 with 433, 3, phi(433+1) - 1 = 179 and phi(3-1) + 1 = 2 all prime.
MATHEMATICA
pq[n_]:=PrimeQ[n]&&PrimeQ[EulerPhi[n+1]-1]
PQ[n_]:=PrimeQ[n]&&PrimeQ[EulerPhi[n-1]+1]
a[n_]:=Sum[If[pq[k]&&PQ[n-(1+Mod[n, 2])k], 1, 0], {k, 1, (n-1)/(1+Mod[n, 2])}]
Table[a[n], {n, 1, 80}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Feb 04 2014
STATUS
approved