Analysis — Cantor's nested interval theorem

Let $X=\bigcap_{n=1}^\infty I_n$, where $I_1\supsetneq I_2\supsetneq\cdots$ and every $I_n$ is a non-empty closed and bounded interval in $\mathbb{R}$. Then: