求极限lim x趋向无穷 x*cot (π/x) 不用等价无穷小代换