lim (cos(pi/2 - x)) ^(tg(x))^2