1,5

The Goldbach conjecture is that this sequence is always positive. This has been checked up to 10^14 by Jean-Marc Deshouillers, Yannick Saouter and Herman te Riele.

With the exception of the n=2 term, identical to A045917.

a(n)=ceil((1/2)A002372(n)). - Emeric Deutsch (deutsch(AT)duke.poly.edu), Jul 14 2004

Calvin C. Clawson, "Mathematical Mysteries, the beauty and magic of numbers," Perseus Books, Cambridge, MA, 1996, Chapter 12, Pages 236-257.

Apostolos K. Doxiadis, Uncle Petros and Goldbach's Conjecture, Bloomsbury Pub. PLC USA, 2000.

D. A. Grave, Traktat z Algebrichnogo Analizu (Monograph on Algebraic Analysis). Vol. 2, p. 19. Vidavnitstvo Akademiia Nauk, Kiev, 1938.

H. Halberstam and H. E. Richert, 1974, "Sieve methods", Academic press, London, New York, San Francisco.

D. H. Lehmer, Guide to Tables in the Theory of Numbers. Bulletin No. 105, National Research Council, Washington, DC, 1941, p. 80.

Matti K. Sinisalo, Math. Comp. 61 (1993), pp. 931-934.

H. J. Smith, Table of n, a(n) for n = 1..20000

J.-M. Deshouillers, H. J. J. te Riele and Y. Saouter, New Experimental Results Concerning the Goldbach Conjecture

M. Herkommer, Goldbach Conjecture Research

A. V. Kumchev and D. I. Tolev, An invitation to additive number theory

J. Richstein, Verifying Goldbach's Conjecture up to 4 x 10^14

Eric Weisstein's World of Mathematics, Goldbach Partition

Wikipedia, Goldbach's conjecture

G. Xiao, WIMS server, Goldbach

Index entries for sequences related to Goldbach conjecture

From Halberstam and Richert : a(n)<(8+0(1))*c(n)*n/ln(n)^2 where c(n)=prod(p>2, (1-1/(p-1)^2))*prod(p|n, p>2, (p-1)/(p-2)). It is conjectured that the factor 8 can be replaced by 2. Is a(n)>n/Log(n)^2 for n large enough? - Benoit Cloitre (benoit7848c(AT)orange.fr), May 20 2002

G.f.=Sum(Sum(x^(p(i)+p(j)), i=2..j), j=2..infinity), where p(k) is the k-th prime. - Emeric Deutsch (deutsch(AT)duke.poly.edu), Aug 27 2007

2 and 4 are not the sum of 2 odd primes, so a(1) = a(2) = 0; 6=3+3 (one way, so a(3)=1); 8=3+5 (so a(4)=1); 10=3+7=5+5 (so a(5)=2); etc.

A002375 := proc(n) local s, p; s := 0; p := 3; while p<2*n do s := s+x^p; p := nextprime(p) od; (coeff(s^2, x, 2*n)+coeff(s, x, n))/2 end; [seq(A002375(n), n=1..100)];

a:=proc(n) local c, k; c:=0: for k from 1 to floor((n-1)/2) do if isprime(2*k+1)=true and isprime(2*n-2*k-1)=true then c:=c+1 else c:=c fi od end: A:=[0, 0, seq(a(n), n=3..98)]; (Deutsch)

g:=sum(sum(x^(ithprime(i)+ithprime(j)), i=2..j), j=2..50): seq(coeff(g, x, 2*n), n =1..98); - Emeric Deutsch (deutsch(AT)duke.poly.edu), Aug 27 2007

f[n_] := Length[ Select[2n - Prime[ Range[2, PrimePi[n]]], PrimeQ]]; Table[ f[n], {n, 100}] (Paul Abbott, Jan 11 2005)

(MuPAD) A002375 := proc(n) local s, p; begin s := 0; p := 3; repeat if isprime(2*n-p) then s := s+1 end_if; p := nextprime(p+2); until p>n end_repeat; s end_proc:

(PARI) A002375(n)=sum(i=2, primepi(n), isprime(2*n-prime(i))) /* ...i=1... gives A045917 */

(PARI) for(n=1, 100, print1(sum(i=2, n, sum(j=2, i, if(prime(i)+prime(j)-2*n, 0, 1))), ", "))

See also A061358. Cf. A002372 (ordered sums), A002373, A002374, A045917.

A023036 is (essentially) the first appearance of n and A000954 is the last (assumed) appearance of n.

Sequence in context: A129363 A053597 A094570 this_sequence A045917 A029379 A058776

Adjacent sequences: A002372 A002373 A002374 this_sequence A002376 A002377 A002378

nonn,easy,nice

njas

Beginning corrected by Paul Zimmermann Mar 15 1996

More terms from James A. Sellers (sellersj(AT)math.psu.edu)