login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A232734 Decimal expansion of Integral {x=0..infinity} 1/2^(2^x) dx. 0
5, 4, 6, 3, 0, 6, 8, 3, 5, 9, 5, 2, 4, 8, 2, 7, 4, 1, 7, 3, 6, 0, 9, 8, 7, 6, 9, 6, 2, 4, 1, 0, 1, 3, 8, 8, 9, 3, 7, 6, 3, 5, 5, 3, 9, 0, 8, 1, 6, 5, 9, 1, 3, 5, 4, 1, 6, 7, 8, 3, 3, 9, 9, 1, 7, 6, 1, 6, 3, 6, 8, 9, 8, 4, 1, 1, 9, 6, 5, 7, 6, 7, 6, 1, 7, 4, 1, 2, 2, 1, 6, 3, 4, 1, 0, 3, 9, 5, 4, 6 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

0,1

LINKS

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

FORMULA

-Ei(-log(2))/log(2), where Ei is the exponential integral function.

Also equals (2*integral {x=0..1/2} log(log(1/x)) dx - log(log(2)))/(2*log(2)).

EXAMPLE

0.546306835952482741736098769624101388937635539081659135416783399176163689841...

MATHEMATICA

RealDigits[-ExpIntegralEi[-Log[2]]/Log[2], 10, 100] // First

PROG

(PARI) eint1(log(2))/log(2) \\ Charles R Greathouse IV, Dec 02 2013

CROSSREFS

Cf. A007400, A007404 (sum instead of integral).

Sequence in context: A070365 A190613 A161011 * A298513 A021187 A075194

Adjacent sequences:  A232731 A232732 A232733 * A232735 A232736 A232737

KEYWORD

nonn,cons

AUTHOR

Jean-Fran├žois Alcover, Nov 29 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 September 21 23:55 EDT 2019. Contains 327286 sequences. (Running on oeis4.)