lim (1-x)tan(π/2), x->1