1 -- 2 x /atan(x)\ lim |-------| x->oo\ x /
Limit((atan(x)/x)^(x^(-2)), x, oo, dir='-')
1 -- 2 x /atan(x)\ lim |-------| x->0+\ x /
-1/3 e
= 0.716531310573789
1 -- 2 x /atan(x)\ lim |-------| x->0-\ x /
1
0.716531310573789