lim sin(2x)/(x*cos^2(x)) as x goes to pi/2