lagrange ortalama değer teoreminden yararlanarak ;
f(x)= arctanx seçip [b,a] aralağında lagrange ortalama değer teoremi uygulayalım ;
(arctanb-arctana)/(b-a) =f'(c)=1/(1+c2) olacak şekilde en az bir b<c<a sayısı vardır.
şimdi ; 1=1 => 1+c2>= => 1/(1+c2)<=1
Şu halde ; (arctanb-arctana)/(b-a)=1/(1+c2<=1 => (arctanb-arctana)<=b-a
bulunur.