Fie o funcție crescătoare, derivabilă pe cu . Să se arate ca exista cel puțin un punct , cu proprietatea că
.
Dacă , cum e crescătoare, vom avea că , deci . Atunci luăm arbitrar și concluzia este verificată. Analog pentru (luăm din ).
Failed to parse (syntax error): {\displaystyle Observație:}
În funcție de cum e față de , concluzia se verifică pentru (). Nu avem nevoie de faptul că e derivabilă, nici de .