Real numbers/Convergence/Root of it/Exercise