[Maple OLE 2.0 Object]

Definitions: Upper Bound, Bounded Above, Least Upper Bound

[Maple OLE 2.0 Object]

Least Upper Bound Axiom:

[Maple OLE 2.0 Object]

Definitions: Lower Bound, Bounded Below, Greatest Lower Bound

[Maple OLE 2.0 Object]

Theorem:

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]

[Maple Plot]

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]

[Maple OLE 2.0 Object]