Seien z < 0 und Z > 0, so dass f(x) < f(0)/2 für alle x < z und für alle x > Z ist. Solche z und Z existieren wegen lim x→±∞ f(x) ≤ 0 < f(0).
f ist auf der kompakten Menge [z, Z] stetig.
Bilder von kompakten Mengen unter stetigen Abbildungen sind kompakt.
Kompakte Teilmengen von ℝ sind abgeschlossen und beschränkt.
Beschränkte Teilmengen von ℝ haben ein Supremum.
Das Supremum einer abgeschlossen Teilmenge von ℝ ist Maximum.