Reelle Funktion/Offenes Intervall/Lokales Extremum/Differenzierbar/Ableitung null/Fakt

Es sei

eine Funktion, die in ein lokales Extremum besitze und dort differenzierbar sei.

Dann ist .