# Non-Empty Bounded Above Subset of Banach Space with Archimedean Property has Supremum

## Theorem

Let $\BB$ be a Banach space.

Let $\BB$ have the Archimedean property.

Let $S \subseteq \BB$ be a subset of $\BB$ which is bounded above.

Then $S$ admits a supremum.