The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A117842 Partial sum of smallest prime >= n (A007918). 1
 2, 4, 6, 9, 14, 19, 26, 33, 44, 55, 66, 77, 90, 103, 120, 137, 154, 171, 190, 209, 232, 255, 278, 301, 330, 359, 388, 417, 446, 475, 506, 537, 574, 611, 648, 685, 722, 759, 800, 841, 882, 923, 966, 1009, 1056, 1103, 1150, 1197, 1250, 1303, 1356 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,1 COMMENTS Bertrand's  postulate as proved by Chebyshev  is versified: "Chebyshev said it, but I'll say it again; There's always a prime between n and 2n." [N. J. Fine in Schechter, 1998]. This sequence is the partial sum of the least such primes. It differs from A007504 "sum of first n primes" because of the repetitions in A007918. REFERENCES Schechter, B., My Brain is Open: The Mathematical Journeys of Paul Erdős. New York: Simon and Schuster, 1998. LINKS Robert Israel, Table of n, a(n) for n = 0..10000 Eric Weisstein et al., Bertrand's Postulate. FORMULA a(n) = SUM[i=0..n] A007918(n). a(n) = SUM[i=0..n] smallest prime >= i. a(n) = SUM[i=0..n] nextprime(i). EXAMPLE a(50) = 2+ 2+ 2+ 3+ 5+ 5+ 7+ 7+ 11+ 11+ 11+ 11+ 13+ 13+ 17+ 17+ 17+ 17+ 19+ 19+ 23+ 23+ 23+ 23+ 29+ 29+ 29+ 29+ 29+ 29+ 31+ 31+ 37+ 37+ 37+ 37+ 37+ 37+ 41+ 41+ 41+ 41+ 43+ 43+ 47+ 47+ 47+ 47+ 53+ 53+ 53 = 1356. MAPLE ListTools:-PartialSums(map(nextprime, [\$-1..100])); # Robert Israel, Aug 09 2020 CROSSREFS Cf. A000040, A007504, A007918. Sequence in context: A070211 A113753 A024457 * A067588 A003402 A328863 Adjacent sequences:  A117839 A117840 A117841 * A117843 A117844 A117845 KEYWORD easy,nonn AUTHOR Jonathan Vos Post, Apr 30 2006 EXTENSIONS Corrected by T. D. Noe, Nov 01 2006 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified September 18 07:39 EDT 2020. Contains 337166 sequences. (Running on oeis4.)