记f(x)=arctanx, f'(x)=1/(x^2+1)
由拉格朗日中值定理
存在t
f(b)-f(a)=f'(t)(a-b)
从而
|f(b)-f(a)|=|a-b|*1/（1+t^2）
≤|a-b|
得证