Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ia/paper-1/10f/c/solution

Construct the nested index sequences inductively. Start with . Having chosen , apply the Bolzano-Weierstrass theorem to the bounded sequence of th coordinates along those indices, and let be an increasing subsequence along which that coordinate converges. Because each new sequence is nested inside all earlier ones, coordinates all converge along .
Now take the diagonal subsequence argument
Nestedness implies
so is strictly increasing. For every fixed , the tail is a subsequence of ; hence converges. This single diagonal subsequence works for every coordinate.

New to topics? Read the docs here!