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!)
A133362 Decimal expansion of 1/(2 log 2). 0
7, 2, 1, 3, 4, 7, 5, 2, 0, 4, 4, 4, 4, 8, 1, 7, 0, 3, 6, 7, 9, 9, 6, 2, 3, 4, 0, 5, 0, 0, 9, 4, 6, 0, 6, 8, 7, 1, 3, 3, 2, 2, 9, 7, 7, 0, 7, 6, 4, 9, 2, 9, 6, 7, 0, 6, 7, 7, 2, 4, 7, 0, 3, 4, 6, 5, 5, 5, 4, 6, 0, 9, 5, 9, 0, 5, 9, 2, 5, 3, 9, 9, 4, 2, 7, 6, 3, 3, 1, 1, 4, 4, 6, 7, 5, 3, 1, 7, 2, 2, 4, 8, 4, 9, 8 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

0,1

COMMENTS

PrimePi(n) = A000720(n) => (log n)/(2 log 2) for all n > 2. An elegant proof is given in Kontoyiannis.

Base 4 logarithm of the natural logarithm base. - Alonso del Arte, Aug 31 2014

REFERENCES

Steven R. Finch, Mathematical Constants, Cambridge University Press, 2003, Section 5.7 Lengyel's constant p. 319 and Section 5.11 Feller's coin tossing p. 341.

LINKS

Table of n, a(n) for n=0..104.

Ioannis Kontoyiannis, Some information-theoretic computations related to the distribution of prime numbers, arXiv:0710.4076 [cs.IT], 2007.

Index entries for transcendental numbers

EXAMPLE

1/(2 log 2) ~ 1 / 1.3862943611198906188 ~ 0.72134752044448170368. The digits of the decimal expansion of 2 log 2 are given by A016627.

MAPLE

Digits:=100: evalf(0.5/log(2)); # R. J. Mathar, Nov 09 2007

MATHEMATICA

RealDigits[1/(2Log[2]), 10, 128][[1]] (* Alonso del Arte, Aug 31 2014 *)

PROG

(PARI) 1/log(4) \\ Charles R Greathouse IV, Mar 24 2016

CROSSREFS

Cf. A000720, A016627.

Sequence in context: A191856 A220862 A198229 * A317925 A010140 A222067

Adjacent sequences:  A133359 A133360 A133361 * A133363 A133364 A133365

KEYWORD

cons,easy,nonn

AUTHOR

Jonathan Vos Post, Oct 26 2007

EXTENSIONS

More terms from R. J. Mathar, Nov 09 2007

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 May 29 20:42 EDT 2020. Contains 334710 sequences. (Running on oeis4.)