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