MATH 350, Supplementary problem for the Archimedian Principle
Prove the following either directly using Axiom C, or as a corollary of the Archimedian Principle:
Every non-empty bounded above subset of the natural numbers has a maximal element
.