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