OFFSET
1,5
COMMENTS
Conjecture: a(n) > 0 for all n > 1.
This is stronger than Goldbach's conjecture for even numbers. It also implies A. Murthy's conjecture (cf. A109909) for even numbers.
We have verified the conjecture for n up to 2*10^7.
Conjecture verified for n up to 10^9. - Mauro Fiorentini, Jul 26 2023
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, preprint, arXiv:1211.1588 [math.NT], 2012-2017.
EXAMPLE
a(6) = 1 since 2*6 = 5 + 7, and (5-1)*(7+1)-1 = 31 is prime.
a(10) = 1 since 2*10 = 7 + 13, and (7-1)*(13+1)-1 = 83 is prime.
a(20) = 1 since 2*20 = 17 + 23, and (17-1)*(23+1)-1 = 383 is prime.
MATHEMATICA
a[n_]:=Sum[If[PrimeQ[2n-Prime[i]]&&PrimeQ[(Prime[i]-1)(2n-Prime[i]+1)-1], 1, 0], {i, 1, PrimePi[2n-2]}]
Table[a[n], {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Olivier Gérard and Zhi-Wei Sun, Oct 13 2013
STATUS
approved