login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A060208 a(n) = 2*pi(n) - pi(2*n), where pi(i) = A000720(i). 10
-1, 0, 1, 0, 2, 1, 2, 2, 1, 0, 2, 1, 3, 3, 2, 1, 3, 3, 4, 4, 3, 2, 4, 3, 3, 3, 2, 2, 4, 3, 4, 4, 4, 3, 3, 2, 3, 3, 3, 2, 4, 3, 5, 5, 4, 4, 6, 6, 5, 5, 4, 3, 5, 4, 3, 3, 2, 2, 4, 4, 6, 6, 6, 5, 5, 4, 6, 6, 5, 4, 6, 6, 8, 8, 7, 6, 6, 6, 7, 7, 7, 6, 8, 7, 7, 7, 6, 6, 8, 7, 6, 6, 6, 6, 6, 5, 6, 6, 5, 4, 6, 6, 8, 8, 8, 7, 9, 9, 11, 11, 11, 10, 12, 11, 10, 10, 9, 9, 9, 8, 7, 7 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,5
COMMENTS
Rosser & Schoenfeld show 2pi(x) > pi(2x) for x>10. - _N. J. A. Sloane_, Jul 03 2013, corrected Jul 09 2015
REFERENCES
J. Barkley Rosser and Lowell Schoenfeld, Abstracts of Scientific Communications, Internat. Congress Math., Moscow, 1966, Section 3, Theory of Numbers.
D. S. Mitrinovic et al., Handbook of Number Theory, Kluwer, Section VII.5, p. 235.
Sanford Segal, On Pi(x+y)<=Pi(x)+Pi(y). Transactions American Mathematical Society, 104 (1962), 523-527.
LINKS
Eugene Ehrhart, On prime numbers, Fibonacci Quarterly 26:3 (1988), pp. 271-274. Shows a(n)>0 for n>10.
E. Labos, Illustration
FORMULA
a(n) = Mod[2*PrimePi[n], PrimePi[2n]] = 2*A000720(n)-A000720(2n) for n>1.
a(n) ~ 2n log 2 / (log n)^2, by the prime number theorem. - _N. J. A. Sloane_, Mar 12 2007
a(n) = -A047886(n,n) (but see A212210-A212213). - _Reinhard Zumkeller_, Apr 15 2008
EXAMPLE
n=100, pi(100)=25, pi(200)=46, 2pi(100)-pi(2*100) =4=a(100)
MATHEMATICA
f[n_] := 2 PrimePi[n] - PrimePi[2 n]; Array[f, 122] (* _Robert G. Wilson v_, Aug 12 2011 *)
PROG
(PARI) a(n)=2*primepi(n)-primepi(2*n) \\ _Charles R Greathouse IV_, Jul 02 2013
CROSSREFS
Sequence in context: A127249 A127251 A063251 * A004570 A178064 A145363
KEYWORD
sign
AUTHOR
_Labos Elemer_, Mar 19 2001
EXTENSIONS
Edited by _N. J. A. Sloane_, Jul 03 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 | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 26 07:58 EDT 2024. Contains 371991 sequences. (Running on oeis4.)