Proof of Nested Interval Theorem

Theorem

For each assume we are given a closed interval . Also assume each contains . Then the nested sequence of closed intervals has a non-empty intersection.

Proof

We need an , so for every .

Every is an upper bound of . Thus, by Axiom of Completeness, exists. Let . Consider .

b_n \implies x \in I_n$