Alternatively to tonio's and most likely what Plato was hinting at. Since is closed and bounded (compact) and is continuous we have it that is closed and bounded (compact). Thus, exists and is in . Now since it follows that , but by the Archimedean principle we know there exists some such that , and the conclusion follows.