limit as x -> pi/2 of (1 - sin x)^(sec x)