limit as x -> pi/2 of (cos x)/(x - pi/2)