PROOF 45

Prove.

The intermediate value theorem

On the completeness of the reals ℝ.

Definition D1

c is the supremum of S if c is an upper bound of S and no number smaller than c is an upper bound of S.

Proof.

Related labs