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