Using the Hausdorff metric on sets, every infinite collection of compact subsets of the unit ball has a limit point (and that limit point is itself a compact set).
Application
As an example of its use, the isoperimetric problem can be shown to have a solution.[1] That is, there exists a curve of fixed length that encloses the maximum area possible. Other problems likewise can be shown to have a solution: