lim x趋向于无穷 x(π-2arctanx)