Real sequence/Not convergent/Convergent subsequence/Exercise