limit as x -> pi/2^- of tan x * (pi/2 - x) . (Resp.: 1.)