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.

A230192 Decimal expansion of log(6^9*10^5)/25.

Original entry on oeis.org

1, 1, 0, 5, 5, 5, 0, 4, 2, 7, 5, 2, 0, 9, 0, 8, 9, 3, 7, 0, 9, 6, 0, 9, 0, 1, 3, 9, 9, 5, 3, 9, 2, 5, 6, 5, 9, 7, 0, 0, 4, 9, 6, 9, 4, 6, 9, 1, 1, 6, 3, 6, 2, 8, 9, 3, 1, 4, 6, 0, 0, 3, 4, 3, 7, 2, 0, 6, 3, 4, 1, 7, 1, 4, 0, 3, 2, 5, 9, 8, 2, 1, 7, 3, 9, 8, 1, 1, 9, 1, 0, 4, 6, 9, 5, 7, 3, 9, 3, 9, 1, 4, 7, 1, 8
Offset: 1

Views

Author

Arkadiusz Wesolowski, Oct 11 2013

Keywords

Comments

The value is equal to 6/5*(log(2)/2 + log(3)/3 + log(5)/5 - log(30)/30) = (6/5)*A230191.
Pafnuty Chebyshev proved in 1852 that A*x/log(x) < pi(x) < B*x/log(x) holds for all x >= x(0) with some x(0) sufficiently large, where A = 5/6*B and B is the constant given above.

Examples

			1.105550427520908937096090139953925659700496946911636289314600343720634...
		

References

  • Harold M. Edwards, Riemann's zeta function, Dover Publications, Inc., New York, 2001, pp. 281-284.
  • Paulo Ribenboim, The Little Book of Bigger Primes, Springer-Verlag NY 2004. See p. 164.

Crossrefs

Programs

  • Mathematica
    RealDigits[Log[6^9 10^5]/25,10,120][[1]] (* Harvey P. Dale, Mar 14 2015 *)
  • PARI
    default(realprecision, 105); x=log(6^9*10^5)/25; for(n=1, 105, d=floor(x); x=(x-d)*10; print1(d, ", "));