A <compact space> is one for which every <open cover> has a finite subcover. A metric space is <sequentially compact space>[sequentially compact] when every <sequence> in it has a <convergent subsequence> whose limit belongs to the space.

Solution

Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 3 / 3G / a / Solution

 Solution (source code)