Overview
A Ramanujan prime is a prime number tied to a counting property of primes discovered in work of Srinivasa Ramanujan. Informally, these primes mark thresholds beyond which every sufficiently large interval (x/2,x] contains at least a fixed number of primes. The concept connects the prime counting function with explicit lower bounds on prime density in short intervals. For background on Ramanujan, see Ramanujan.
Definition
Let pi(x) denote the prime counting function, the number of primes not exceeding x. The nth Ramanujan prime R_n is the smallest integer R such that for all x ≥ R the inequality pi(x) − pi(x/2) ≥ n holds. In other words, once x reaches R_n, every interval (x/2,x] contains at least n primes. By construction and by verification in the literature, each Ramanujan prime is itself a prime. For more on the prime counting function see pi(x).
History and naming
Ramanujan established stronger forms of results related to Bertrand's postulate in a short 1919 note. The particular sequence of primes defined above was named and studied in modern detail later; for example, Jonathan Sondow popularized the name "Ramanujan primes" and derived many properties and explicit bounds. The historical connection is both to Ramanujan's inequalities and to the long-standing study of primes in short intervals. See a survey or original references at further reading.
Key properties
- Threshold property: R_n is the minimal x making pi(x) − pi(x/2) ≥ n hold for all larger x.
- Relation to Bertrand's postulate: R_1 = 2 recovers the classical statement that there is always a prime between x/2 and x for x ≥ 2.
- Asymptotic behavior: R_n grows with n, and analysts have shown R_n is of the same order as the 2n-th prime; heuristically R_n ~ p_{2n} as n → ∞.
- Monotonicity: the sequence R_n is increasing, and explicit numerical bounds and inequalities have been proved in analytic number theory.
Examples
The first few Ramanujan primes begin with small values. For instance, R_1 = 2, R_2 = 11, R_3 = 17, and R_4 = 29. The meaning of R_2 = 11 is that for every x ≥ 11 the interval (x/2,x] contains at least two primes; in particular, when x = 11 the primes in (5.5,11] are 7 and 11. Extended lists and computed values are tabulated in numerical references and online tables: computed values.
Significance and generalizations
Ramanujan primes are of interest for understanding local prime distribution and for refining results about prime gaps. They inspire generalized definitions (for example varying the factor 1/2 to other ratios or counting primes in different relative intervals) and lead to questions about the regularity and arithmetic properties of the sequence. Research continues on sharper bounds, computational verification, and connections to other results in analytic number theory.
