\lim_{x\rightarrow\pi}\tan\frac x2