In 1919, Ramanujan published a new proof ofBertrand's postulate which, as he notes, was first proved byChebyshev.[1] At the end of the two-page published paper, Ramanujan derived a generalized result, and that is:
The converse of this result is the definition of Ramanujan primes:
Thenth Ramanujan prime is the least integerRn for which for allx ≥Rn.[2] In other words: Ramanujan primes are the least integersRn for which there are at leastn primes betweenx andx/2 for allx ≥Rn.
The first five Ramanujan primes are thus 2, 11, 17, 29, and 41.
Note that the integerRn is necessarily a prime number: and, hence, must increase by obtaining another prime atx =Rn. Since can increase by at most 1,
Asn tends to infinity,Rn isasymptotic to the 2nth prime, i.e.,
Rn ~p2n (n → ∞).
All these results were proved by Sondow (2009),[3] except for the upper boundRn <p3n which was conjectured by him and proved by Laishram (2010).[4] The bound was improved by Sondow, Nicholson, and Noe (2011)[5] to
which is the optimal form ofRn ≤c·p3n since it is an equality forn = 5.