Definitions: Upper Bound, Bounded Above, Least Upper Bound
Least Upper Bound Axiom:
Definitions: Lower Bound, Bounded Below, Greatest Lower Bound
Theorem: