arctanx的导数为1/(1+x²)所以由中值定理得到存在ξ（a<ξ显然1/(1+ξ²)小于等于1，于是(arctanb-arctana)/(b-a)小于等于1那么取绝对值之后得到|arctanb-arctana|≤|b-a|
