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 .