Real sequences/Alternation/Convergence/Exercise