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