Die Funktion könnte übrigens auch so aussehen:
$$ f:[a,b]\rightarrow [a,b],\quad x\mapsto a$$.
Das heißt, es muss nicht jeder Funktionswert des Zielbereiches angenommen werden, die letzte Funktion ist z.B. konstant (\(f(x) = a \text{ für alle } x \in [a,b]\)).