Proposition: Ableitung in einem lokalen Extremum ist Null

Sei eine Funktion.
Sei ein lokales Extremum von .
Sei außerdem in differenzierbar.

Dann gilt:

To-do: Duplikat von unterscheidung zwischen minimum und maximum über die zweite Ableitung