OFFSET
0,1
LINKS
Rodney Coleman, Random paths through convex bodies, Journal of Applied Probability, Vol. 6, No. 2 (1969), pp. 430-441; alternative link; ResearchGate link.
FORMULA
Equals 1 + log(2)/Pi + (3/2 - 5/(4*Pi))*log(3) - 4*sqrt(2)*arctan(1/sqrt(2))/Pi - (6/Pi) * Integral_{x=0..1} arctan(sqrt(x))/(x+2) dx.
EXAMPLE
0.896633615389100609722794119741210395458723033374291...
MATHEMATICA
RealDigits[Re[1 + Log[2]/Pi + (3/2 - 5/(4*Pi)) * Log[3] - 4*Sqrt[2]*ArcTan[1/Sqrt[2]]/Pi - (6/Pi) * Integrate[ArcTan[Sqrt[x]]/(x + 2), {x, 0, 1}]], 10, 120][[1]]
PROG
(PARI) 1 + log(2)/Pi + (3/2 - 5/(4*Pi)) * log(3) - 4*sqrt(2)*atan(1/sqrt(2))/Pi - (6/Pi) * intnum(x=0, 1, atan(sqrt(x))/(x+2))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Apr 07 2026
STATUS
approved
