Problem 349 (difficulty: 8/10)
Prove that every Cauchy-sequence is convergent, using the one-dimensional Helly-theorem.