Solution (source code)

= Solution

Every bounded <sequence> in $\mathbb R$ has a convergent subsequence.