OFFSET
1,1
COMMENTS
Erdős called a weak prime A051635 an "early prime," defined to be one which is less than the arithmetic mean of the prime before it and the prime after it. He conjectured that there are infinitely many consecutive pairs of early primes, and offered $100 for a proof and $25000 for a disproof. See Kuperberg 1992.
I make the stronger conjecture that the sequence a(n) is infinite.
a(n) is the prime following A158939(n+1). [Follows from the definitions] - Chris Boyd, Mar 28 2015
LINKS
Greg Kuperberg, The Erdos kitty: At least $9050 in prizes!, Newsgroups: rec.puzzles, sci.math, 1992. [Broken link]
Greg Kuperberg, The Erdos kitty: At least $9050 in prizes!, Newsgroups: rec.puzzles, sci.math, 1992. [Cached copy]
Wikipedia, Weak prime
FORMULA
a(n) = min{p(i): 2*p(i+j) < p(i+j-1) + p(i+j+1), j = 0,1,..,n-1}.
EXAMPLE
The primes 19 < (17+23)/2 and 23 < (19+29)/2 are the smallest pair of consecutive weak/early primes, so a(2) = 19.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jonathan Sondow, Oct 13 2013
EXTENSIONS
a(6) corrected by and a(7)-a(13) from Giovanni Resta, Jan 16 2014
a(14) from Giovanni Resta, Apr 19 2016
STATUS
approved