OFFSET
0,1
REFERENCES
Jonathan Borwein, David Bailey and Roland Girgensohn, Experimentation in Mathematics: Computational Paths to Discovery, A K Peters, 2004, p. 20.
LINKS
Eric Weisstein's World of Mathematics, Ahmed's Integral
FORMULA
Equals Integral_{x=0..1} arctan(x) / (x*(x^2+1)) dx.
From Amiram Eldar, Aug 17 2020: (Start)
Equals Integral_{x=0..Pi/4} x*cot(x) dx. (End)
EXAMPLE
0.7301810583765597738398878697...
MATHEMATICA
RealDigits[Catalan/2 + Pi*Log[2]/8, 10 , 100][[1]] (* Amiram Eldar, Aug 17 2020 *)
CROSSREFS
KEYWORD
AUTHOR
Mark Hudson (mrmarkhudson(AT)hotmail.com), Sep 08 2004
STATUS
approved