Anta
=f(b))
for

. Hvis

og

er forskjellige er enten

eller

. Dette impliserer enten
<f(b))
eller
>f(b))
. Selvmotsigelse. Dermed er

. Så

er injektiv.
Beklager at jeg må si meg uening, men ta en kort pause her og forklar meg hvorfor en konstantfunksjon ikke tilfredsstiller hypotesene.
Så kan du la

være identitetsfunksjonen, se på

, og tenke over hva skjæringssetningen sier om denne.