OFFSET
1,1
COMMENTS
The larger of the two real solutions of the equation (2*x*arctan(x) + 2*arccot(x) - x*log(x) - (x+1)*log(x^2+1))/(x+1) = Pi/2. The other solution is the reciprocal of this constant, 0.260792478389... .
EXAMPLE
3.834466416270888353203856464620079966061356889592406...
MATHEMATICA
RealDigits[r /. FindRoot[(2*r*ArcTan[r] + 2*ArcCot[r] + 2*r*Log[r] - (r+1)*Log[r^2+1])/(r+1) == Pi/2, {r, 4}, WorkingPrecision -> 120]][[1]]
PROG
(PARI) solve(r = 3, 4, (2*r*atan(r) + 2*atan(1/r) + 2*r*log(r) - (r+1)*log(r^2+1))/(r+1) - Pi/2)
CROSSREFS
KEYWORD
AUTHOR
Amiram Eldar, May 21 2026
STATUS
approved
