令t=x-a
原式=lim(t->0) arctant/t
由洛必达法则得
=lim 1/1+t^2
=1