limit as x -> (pi/2)^- of tan x 。