Supremum Proof of the Intermediate Value Theorem

To find a root of a continuous function, take the supremum of the set where it is still negative — continuity squeezes the value there to exactly zero from both sides.