Ramanujan primes: Difference between revisions