Lebl-Basic-Analysis-I · Problem 1.1.6

Real Numbers

Mathematics · ordered-sets-supremum-infimum

Problem

Let

S

be an ordered set. Let

A \subset S

be nonempty and bounded above. Suppose

\sup A

exists and

\sup A \notin A

. Show that

A

contains a countably infinite subset.