Real sequence/Difference of square roots/Exercise