Fie
o funcție crescătoare, derivabilă pe Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [-1,1]}
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
.