cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A193880 0.75-Ramanujan primes R_{0.75,n}: a(n) is the smallest number such that for all x >= a(n), we have pi(x) - pi(0.75x) >= n, where pi(x) is the number of primes <= x.

Original entry on oeis.org

11, 29, 59, 67, 101, 149, 157, 163, 191, 227, 269, 271, 307, 379, 383, 419, 431, 433, 443, 457, 563, 593, 601, 641, 643, 673, 701, 709, 733, 827, 829, 907, 937, 947, 971, 1019, 1033, 1039, 1051, 1087, 1187, 1193, 1217, 1277, 1427, 1429, 1433, 1481, 1483, 1487
Offset: 1

Views

Author

Nadine Amersi, Olivia Beckwith (obeckwith(AT)gmail.com), Steven J. Miller (Steven.J.Miller(AT)williams.edu), Ryan Ronan (ronan2(AT)cooper.edu), Jonathan Sondow, Aug 07 2011

Keywords

Comments

See comment to A193761. - Vladimir Shevelev, Aug 18 2011
See additional comments and links in A290394. - Jonathan Sondow, Aug 01 2017

Examples

			a(1) = A290394(3) = 11. - _Jonathan Sondow_, Aug 01 2017
		

Crossrefs

Cf. A104272 (Ramanujan primes), A193761 (0.25-Ramanujan primes), A164952, A290394 (first (1 + 1/n)-Ramanujan prime).

Formula

a(n) >= A104272(n).