lim(x趋向正无穷)x*tan(1/x)