lim(16*cos(x)/sqrt(2-2*sin(x)),x=pi/2)