Auf ganz ℝ definierte Funktion ?
f ' ' (x) ≠ 0 für alle x∈ℝ
==> f ' ( x ) streng monoton steigend oder streng monoton fallend.
Nehmen wir das mal erste.
==> f ' besitzt höchstens eine Nullstelle.
Besitzt f ' keine , dann ist auch f streng monoton,
besitzt also höchstens eine.
Besitzt f ' eine Nullstelle, dann besitzt f höchstens ein
lokales Extremum, sagen wir mal bei a. Entweder ist f im
Bereich x<a streng monoton steigend und für x>a fallend
oder umgekehrt.
In beiden Fällen kann es in jedem dieser Bereiche
höchstens eine Nullstelle besitzen, also zusammen 2.
Den Zusammengang zwischen Vorzeichen der
Ableitung und Monotonie der Funktion
kann man mit dem MWS beweisen.