OFFSET
1,5
COMMENTS
Conjecture: (i) a(n) > 0 for all n > 12.
(ii) For any integer n > 4, there is a prime p < n - 2 such that q(p + phi(n-p)/2) + 1 is prime.
Clearly, part (i) of the conjecture implies that there are infinitely many primes p with q(p) + 1 prime (cf. A234530).
We have verified part (i) for n up to 10^5.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(11) = 1 since 11 = 1 + 10 with 1 + phi(10)/2 = 3 and q(3) + 1 = 3 both prime.
a(27) = 1 since 27 = 7 + 20 with 7 + phi(20)/2 = 11 and q(11) + 1 = 13 both prime.
a(30) = 1 since 30 = 8 + 22 with 8 + phi(22)/2 = 13 and q(13) + 1 = 19 both prime.
a(38) = 1 since 38 = 21 + 17 with 21 + phi(17)/2 = 29 and q(29) + 1 = 257 both prime.
a(572) = 1 since 572 = 77 + 495 with 77 + phi(495)/2 = 197 and q(197) + 1 = 406072423 both prime.
a(860) = 1 since 860 = 523 + 337 with 523 + phi(337)/2 = 691 and q(691) + 1 = 712827068077888961 both prime.
MATHEMATICA
f[n_, k_]:=k+EulerPhi[n-k]/2
q[n_, k_]:=PrimeQ[f[n, k]]&&PrimeQ[PartitionsQ[f[n, k]]+1]
a[n_]:=Sum[If[q[n, k], 1, 0], {k, 1, n-1}]
Table[a[n], {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Dec 27 2013
STATUS
approved