OFFSET
1,4
COMMENTS
Conjecture: a(n) > 0 for all n > 2. Also, any integer n > 2 can be written as x + y + z (x, y, z > 0) such that 6*x-1, 6*y-1, 6*z-1 are terms of A230138 and 6*y*z-1 is prime.
This is a further refinement of the conjecture in A230140.
Note that if x + y + z = n then 6*n = (6*x-1) + (6*(y+z)+1). So a(n) > 0 implies Goldbach's conjecture for the even number 6*n.
LINKS
EXAMPLE
a(10) = 2 since 10 = 3 + 2 + 5 = 5 + 2 + 3, and 6*3-1 = 17, 6*2-1 = 11, 6*5-1 = 29 are terms of A230138, and 6*(2+5)+1 = 43 and 6*(2+3)+1 = 31 are also prime.
MATHEMATICA
SQ[n_]:=PrimeQ[6n-1]&&PrimeQ[6n+1]&&PrimeQ[12n-7]
a[n_]:=Sum[If[SQ[i]&&PrimeQ[6(n-i)+1]&&SQ[j]&&SQ[n-i-j], 1, 0], {i, 1, n-2}, {j, 1, (n-i)/2}]
Table[a[n], {n, 1, 100}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Oct 10 2013
STATUS
approved