5. Sequences

5.2. Subsequences and Compactness