A subsequence of is a sequence where is strictly increasing (note , by induction).
Examples
Example 11.15 (Subsequential limits)
For : the even subsequence tends to , the odd one to , so the sequence diverges — but it does so in an organized way, clustering around the two values . For : the three subsequences of indices , , are constant, equal to , , ; the set of subsequential limits is . The closing insight: a bounded sequence converges exactly when it has a single subsequential limit (Exercise 11.8); divergence of a bounded sequence always means at least two clusters, and Bolzano–Weierstrass below guarantees there is at least one.