证明：（以下都是在x->0下求极限,输入不方便,省略）
lim(arctanx/x)
=lim[1/(1+x^2)]
=1
所以,反正切函数的等价无穷小为x.