Calcolate limit as x -> pi/2 of cos x