Prove that if is a nested collection of closed intervals such that , then there is an such that .

So is an increasing sequence and is a decreasing sequence. So choose an so that . Then for all . So and for . We need to show that .

Then and .

Now what?