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.

A057754 Integer nearest to Li(10^n), where Li(x) = integral(0..x, dt/log(t)).

Original entry on oeis.org

6, 30, 178, 1246, 9630, 78628, 664918, 5762209, 50849235, 455055615, 4118066401, 37607950281, 346065645810, 3204942065692, 29844571475288, 279238344248557, 2623557165610822, 24739954309690415, 234057667376222382
Offset: 1

Views

Author

Robert G. Wilson v, Oct 30 2000

Keywords

Comments

"Li[z] is central to the study of the distribution of primes in number theory. The logarithmic integral function is sometimes also denoted by Li(z). In some number-theoretical applications li(z) is defined as [integral from 2 to z of 1/log(t) dt], with no principal value taken. This differs from the definition used in 'Mathematica' by the constant li(2)."

Examples

			Li( 10^22 ) = 201467286691248261498.15... => a(22).
pi( 10^22 ) = 201467286689315906290.
		

Crossrefs

A052435( 10^n ) = a(n) - pi( 10^n ) for n > 0.

Programs

  • Magma
    [Round(LogIntegral(10^n)): n in [1..25]]; // G. C. Greubel, May 17 2019
    
  • Maple
    seq(round(evalf(Li(10^n), 64)), n=1..19); # Peter Luschny, Mar 20 2019
  • Mathematica
    Table[Round[LogIntegral[10^n]], {n, 1, 25}]
  • PARI
    vector(25, n, round(real(-eint1(-log(10^n)))) ) \\ G. C. Greubel, May 17 2019
    
  • Sage
    [round(li(10^n)) for n in (1..25)] # G. C. Greubel, May 17 2019

Formula

a(n) = round( Li( 10^n )) = round( Ei( log( 10^n ))).