We may assume that
attains a local maximum in
. This means that there exists an
,
such that
holds for all
.
Let
be a sequence with
,
tending to
("from below“).
Then
,
and so
,
and therefore the difference quotient
-
![{\displaystyle {}{\frac {f(s_{n})-f(c)}{s_{n}-c}}\geq 0\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a48a45752f4bec9f524a4a4bf48d2c09b317634)
Due to
fact,
this relation carries over to the limit, which is the derivative. Hence,
.
For another sequence
with
,
we get
-
![{\displaystyle {}{\frac {f(t_{n})-f(c)}{t_{n}-c}}\leq 0\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85750044d1772d6839a7a8a98c407828242e0c0d)
Therefore, also
and thus
.