Nested intervals/Sequence/Convergence/Exercise