(Ortalama Değer Teoreminden)
Her 0<t≤1 için f(x)=x−sinx fonksiyonu için,
t−sint=(1−cosc)t olacak şekilde (t ye bağlı) bir c∈(0,t)⊆(0,π2) sayısı vardır.
(0<t<π2 için) 1−cost=sin2t1+cost<t2 (çünki her t∈R için |sint|≤|t| dir.)
0<1−cosc<1−cost<t2 olduğundan,
Her 0<t≤1 için 0<t−sint<t3 elde edilir.
(Bu eşitsizlik, Kalanlı Taylor teoreminden de elde edilebilir)
Buradan, her 0<t≤1 için 1t−sint>1t3>0 bulunur.
∫10dtt3 integralinin ıraksak olduğu (tanımdan) kolayca görülür.
Karşılaştırma Testinden,
∫10dtt−sint integrali de ıraksak olur.