Anschaulich heißt Stetigkeit auf einem Intervall doch:
Du kannst den Funktionsgraphen in einem Zug durchzeichnen vom
Anfangspunkt ( a;f(a)) zum Endpunkt (b;f(b)).
Dann werden alle y-Werte, die zwischen f(a) und f(b) liegen
für irgendein x aus dem Intervall erreicht.
Und min{f(a);f(b)} ist der kleinere der beiden und
max{f(a);f(b)} der größere der Randwerte. Und das η ist eben einer der
zwischen dem kleineren und dem größeren liegt.
Typische Anwendung: Wenn f(a) und f(b) verschiedene Vorzeichen
haben, gibt es zwischen a und b immer eine Nullstelle.