a∈I noktasi, f:I→R fonksiyonun bir yerel minimum noktasi olsun ve f'nin a noktasinda turevlenebilir oldugunu dusunelim.
f′(a)=limx→af(x)−f(a)x−a=limx→a+f(x)−f(a)x−a=limx→a−f(x)−f(a)x−a
Bu kesirli fonksiyonlarin ust tarafi her zaman pozitif. x−a ifadesi ise x>a iken pozitif, x<a iken negatif. Yani, x>a iken f(x)−f(a)x−a>0 ve x<a iken f(x)−f(a)x−a<0. Bu da demek oluyor ki, yukaridaki esitliklerin gecerli olabilmesi icin, limitlerin 0 olmasi gerekiyor.