the limit as x approaches pi/2 of tanx/secx