login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A233822 a(n) = 2*R(n) - R(n+1), where R(n) is the n-th Ramanujan prime. 4
-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 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

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).

LINKS

Dana Jacobsen, Table of n, a(n) for n = 1..10000

Baris Paksoy, Derived Ramanujan primes: R'_n, arXiv:1210.6991 [math.NT], 2012.

EXAMPLE

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

MATHEMATICA

nn = 100;

R = Table[0, {nn}]; s = 0; Do[If[PrimeQ[k], s++]; If[PrimeQ[k/2], s--]; If[s < nn, R[[s + 1]] = k], {k, Prime[3*nn]}]; R = R + 1;

Most[2 R - RotateLeft[R]] (* Jean-Fran├žois Alcover, Dec 06 2018, after T. D. Noe in A104272 *)

PROG

(Perl) use ntheory ":all"; say 2*nth_ramanujan_prime($_)-nth_ramanujan_prime($_+1) for 1..10 # Dana Jacobsen, Sep 02 2017

CROSSREFS

Cf. A062234, A104272, A225907.

Sequence in context: A011474 A171536 A264919 * A199462 A195847 A244687

Adjacent sequences:  A233819 A233820 A233821 * A233823 A233824 A233825

KEYWORD

sign

AUTHOR

Jonathan Sondow, Dec 16 2013

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 17 12:29 EST 2020. Contains 331996 sequences. (Running on oeis4.)