OFFSET
0,1
LINKS
Michael Ian Shamos, A catalog of the real numbers (2011), p. 294.
FORMULA
Equals Sum_{k>=1} 1/(2*k*e^k) [Shamos].
Equals Integral_{x=0..1} x/(-x^2 + e) dx.
EXAMPLE
0.22933757269354094551082182253366485093848895334609...
MATHEMATICA
RealDigits[-(1/2)*Log[1-1/E], 10, 105][[1]] (* Stefano Spezia, Jun 30 2024 *)
PROG
(PARI) -(1/2)*log(1-1/exp(1))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Claude H. R. Dequatre, Jun 30 2024
STATUS
approved