limit arctan(abs(sqrt(1+a^2))*x/sqrt(1-x^2)) as x->1-