lim x-->infty (pi/2-tan^(-1) (x))^(1/x)