lim(x→1) (1-x)tan(π/2)x