The Nested Interval Theorem

We prove the Nested Interval Theorem. This states that an infinite collection of nested closed intervals has a non-empty intersection. #mikedabkowski, #mikethemathematician, #profdabkowski, #realanalysis