令t=1/x,则arccotx =arccot(1/t)=arctan t
x趋向无穷则t趋向0,
则原式=Lim t / arctan t ,t趋向0
=Lim t / t
=1