f′(c)≠0 olduğunu varsayalım. Bu durumda ya f′(c)>0 ya da f′(c)<0'dır.
I. Durum: f′(c)>0 olsun.
f′(c)>0⇒limx→cf(x)−f(c)x−c>0
⇒(∃δ>0)(∀x∈B∗(c,δ))(f(x)−f(c)x−c>0)x∈(c,c+δ)∩A⇒x−c>0}⇒
⇒(∀x∈(c,c+δ)∩A)(f(x)−f(c)>0)
⇒(∀x∈(c,c+δ)∩A)(f(x)>f(c))
elde edilir. Bu ise maxx∈Af(x)=f(c) olması ile çelişir.
II. Durum da, I. Duruma benzer şekilde yapılır.