Problem 348 (difficulty: 8/10)
Prove that if in an Archimedean ordered field every Cauchy sequence is convergent, then every bounded set has a least upper bound.