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!)
A244009 Decimal expansion of 1 - log(2). 15
3, 0, 6, 8, 5, 2, 8, 1, 9, 4, 4, 0, 0, 5, 4, 6, 9, 0, 5, 8, 2, 7, 6, 7, 8, 7, 8, 5, 4, 1, 8, 2, 3, 4, 3, 1, 9, 2, 4, 4, 9, 9, 8, 6, 5, 6, 3, 9, 7, 4, 4, 7, 4, 5, 8, 7, 9, 3, 1, 9, 9, 9, 0, 5, 0, 6, 6, 0, 6, 3, 7, 8, 0, 3, 0, 3, 0, 5, 2, 8, 4, 3, 9, 4, 1, 3, 6, 6, 7, 3, 0, 0, 3, 5, 8, 1, 3, 1, 2, 4, 5, 7, 9, 9, 8, 5 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET
0,1
COMMENTS
Fraction of numbers which are sqrt-smooth, see A048098 and A063539. - Charles R Greathouse IV, Jul 14 2014
Asymptotic survival probability in the 100 prisoners problem. - Alois P. Heinz, Jul 08 2022
LINKS
Donald E. Knuth and Luis Trabb Pardo, Analysis of a simple factorization algorithm, Theoretical Computer Science 3:3 (1976), pp. 321-348.
FORMULA
Equals Sum_{k>=0} 1/(2*k*(2*k+1)) = A239354 + 1/4 = A188859/2.
From Amiram Eldar, Aug 07 2020: (Start)
Equals Sum_{k>=1} 1/(k*(k+1)*2^k) = Sum_{k>=2} 1/A100381(k).
Equals Sum_{k>=2} (-1)^k * zeta(k)/2^k.
Equals Integral_{x=1..oo} 1/(x^2 + x^3) dx. (End)
Equals log(e/2) = log(A019739) = -log(2/e) = -log(A135002). - Wolfdieter Lang, Mar 04 2022
Equals lim_{n->oo} A024168(n)/n!. - Alois P. Heinz, Jul 08 2022
Equals 1/(4 - 4/(7 - 12/(10 - ... - 2*n*(n-1)/((3*n+1) - ...)))) (an equivalent continued fraction for 1 - log(2) was conjectured by the Ramanujan machine). - Peter Bala, Mar 04 2024
EXAMPLE
0.30685281944005469058276787854...
MAPLE
f:= sum(1/(2*k*(2*k+1)), k=1..infinity):
s:= convert(evalf(f, 140), string):
seq(parse(s[i+1]), i=1..106); # Alois P. Heinz, Jun 17 2014
MATHEMATICA
RealDigits[1-Log[2], 10, 120][[1]] (* Harvey P. Dale, Sep 23 2016 *)
PROG
(PARI) 1-log(2) \\ Charles R Greathouse IV, Jul 14 2014
CROSSREFS
Essentially the same digits as A239354.
Sequence in context: A016598 A119583 A309604 * A321482 A182042 A011415
KEYWORD
nonn,cons
AUTHOR
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 25 03:15 EDT 2024. Contains 371964 sequences. (Running on oeis4.)