Basic Analysis I — Real Analysis · Problem 1.1.6

Real Numbers — Jiri Lebl

Mathematics — Real Analysis · ordered-sets

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.