$a \in I$ noktasi, $f:I \to \mathbb{R}$ fonksiyonun bir yerel minimum noktasi olsun ve $f$'nin $a$ noktasinda turevlenebilir oldugunu dusunelim.
$$f'(a)= \lim_{x \to a} \frac{f(x) - f(a)}{x-a} = \lim_{x \to a^{+}} \frac{f(x) - f(a)}{x-a} = \lim_{x \to a^{-}} \frac{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 $\frac{f(x) - f(a)}{x-a} > 0$ ve $x <a$ iken $\frac{f(x) - f(a)}{x-a} < 0$. Bu da demek oluyor ki, yukaridaki esitliklerin gecerli olabilmesi icin, limitlerin $0$ olmasi gerekiyor.