Fie
o funcție crescătoare, derivabilă pe
cu
. Să se arate ca exista cel puțin un punct
, cu proprietatea că

.
Daca
, cum
e crescătoare, vom avea ca
, deci
. Atunci luam
arbitrar si concluzia este verificata. Analog pentru
(luam
din
).
In functie de cum e
fata de
, concluzia se verifica pentru
(
). Nu avem nevoie de faptul ca
e derivabila, nici de
.