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.

A233822 a(n) = 2*R(n) - R(n+1), where R(n) is the n-th Ramanujan prime.

Original entry on oeis.org

-7, 5, 5, 17, 35, 35, 51, 63, 45, 93, 95, 87, 105, 147, 135, 155, 177, 135, 225, 225, 227, 237, 219, 257, 257, 255, 303, 275, 345, 331, 361, 345, 393, 399, 407, 429, 427, 417, 435, 483, 479, 437, 567, 555, 581, 587, 597, 595, 573, 639, 639, 641, 647
Offset: 1

Views

Author

Jonathan Sondow, Dec 16 2013

Keywords

Comments

a(n) = 2*A104272(n) - A104272(n+1).
Paksoy proved that a(n) > 0 for n > 1.
Paksoy's theorem is the analog for Ramanujan primes of Chebychev's theorem (Bertrand's postulate) that 2*prime(n) - prime(n+1) > 0 for n > 0 (see A062234).

Examples

			The only negative term is a(1) = 2*R(1) - R(2) = 2*2 - 11 = -7.
		

Crossrefs

Programs