Nested interval theorem
= Nested interval theorem
If $I_1\supseteq I_2\supseteq\cdots$ are nonempty closed bounded intervals, then their intersection is nonempty. If their lengths tend to zero, the intersection consists of exactly one point.
= Nested interval theorem
If $I_1\supseteq I_2\supseteq\cdots$ are nonempty closed bounded intervals, then their intersection is nonempty. If their lengths tend to zero, the intersection consists of exactly one point.