Nested interval theorem

For define a sequence of intervals by If and , then there is exactly one point that is in each interval. Written prettier:

And , .

Proof