Nach Voraussetzung gilt \(a\leq f(x)\leq b\) für alle \(x\in I\). Insbesondere gilt \(a\leq f(a)\) und \(f(b)\leq b\). Für die Funktion \(g\) gilt daher \(g(a)=f(a)-a\geq0\) und \(g(b)=f(b)-b\leq0\). Die Behauptung folgt nun aus dem Zwischenwertsatz.