Real sequence/Infinity divergent subsequence/Exercise