OFFSET
0,1
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals Integral_{x>=0} log(1 + 1/(x^2+2)) dx.
EXAMPLE
0.9985151545442873047663537828657734982375770549025315...
MATHEMATICA
RealDigits[Pi * (Sqrt[3] - Sqrt[2]), 10, 120][[1]] (* Amiram Eldar, Jun 20 2023 *)
PROG
(PARI) Pi*(sqrt(3)-sqrt(2)) \\ Charles R Greathouse IV, Oct 02 2022
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 14 2021
STATUS
approved