lim x -> 1 of (1-x)*tan(x*pi/2)