Theorem : Intersection of nested closed intervals in is not empty Proof using the LUB property as are bounded by