OFFSET
1,2
LINKS
J. Blanck, Exact real arithmetic systems: results of competition, pp. 389-393 of J. Blanck et al., eds., Computability and Complexity in Analysis (CCA 2000), Lect. Notes Computer Science, Springer-Verlag, 2001.
FORMULA
From Amiram Eldar, Aug 09 2020: (Start)
Equals 1 + log(1 + 1/e).
Equals 1 + Integral_{x=1..oo} 1/(exp(x) + 1) dx. (End)
EXAMPLE
1.313261687518222834048995494967855641915280085670348...
MATHEMATICA
RealDigits[Log[1+Exp[1]], 10, 120][[1]] (* Harvey P. Dale, Jun 09 2013 *)
PROG
(PARI) log(1+exp(1)) \\ Charles R Greathouse IV, Mar 25 2014
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
N. J. A. Sloane, Jul 15 2003
STATUS
approved