OFFSET
0,1
LINKS
FORMULA
From Amiram Eldar, May 08 2021: (Start)
Equals Integral_{x>=0} log(1 + 1/(1 + 2*x^2)) dx.
Equals Integral_{x=0..Pi} 1/(1 + csc(x)^2) dx. (End)
EXAMPLE
0.92015118451061011495470288824915603488985855468726...
MAPLE
evalf(Pi/(2+sqrt(2)), 120); # Muniru A Asiru, Sep 30 2018
MATHEMATICA
RealDigits[Pi/(2 + Sqrt[2]), 10, 100][[1]] (* G. C. Greubel, Sep 29 2018 *)
PROG
(PARI) default(realprecision, 99); vecextract(eval(Vec(Str(Pi/(2+sqrt(2))))), "3..")
(Magma) SetDefaultRealField(RealField(100)); R:= RealField(); Pi(R)/(2 + Sqrt(2)); // G. C. Greubel, Sep 29 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
M. F. Hasler, Jul 24 2011
STATUS
approved