Generalized Ramanujan Primes
In 1845, Bertrand conjectured that for all integers x≥2, there exists at least one prime in (x/2,x]. This was proved by Chebyshev in 1860, and then generalized by Ramanujan in 1919. He showed that for any n≥1, there is a (smallest) prime Rn such that π(x)−π(x/2)≥n for all x≥Rn. In 2009 Sondow called Rn the nth Ramanujan prime and proved the asymptotic behavior Rn∼p2n (where pm is the mth prime). In the present paper, we generalize the interval of interest by introducing a parameter c∈(0,1) and defining the nth c-Ramanujan prime as the smallest integer Rc,n such that for all x≥Rc,n, there are at least n primes in (cx,x]. Using consequences of strengthened versions of the Prime Number Theorem, we prove that Rc,n exists for all n and all c, that Rc,n∼p1−cn as n→∞, and that the fraction of primes which are c-Ramanujan converges to 1−c. We then study finer questions related to their distribution among the primes, and see that the c-Ramanujan primes display striking behavior, deviating significantly from a probabilistic model based on biased coin flipping; this was first observed by Sondow, Nicholson, and Noe in the case c=1/2. This model is related to the Cramer model, which correctly predicts many properties of primes on large scales, but has been shown to fail in some instances on smaller scales.