OFFSET
1,1
COMMENTS
The unique real solution to the equation 2*arctan(x) - log(1 + x^2)/x = Pi/2.
EXAMPLE
2.445828316431492046186470886388920883276945104598903...
MATHEMATICA
RealDigits[r /. FindRoot[2*ArcTan[r] - Log[1 + r^2]/r == Pi/2, {r, 2}, WorkingPrecision -> 120]][[1]]
PROG
(PARI) solve(r = 2, 3, 2*atan(r) - log(1 + r^2)/r - Pi/2)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Apr 30 2026
STATUS
approved
