Sequence/Cauchy sequence in Q/Not convergent/Exercise