Solution (source code)

= Solution

A <metric space> is <sequentially compact> if every sequence in it has a <subsequence> converging to a point of the same space.