Nested intervals/Convergence of lengths/Non empty intersection/Exercise