Let A be bounded above so that s = sup A exists. Show that s Є A bar.
Let be a bounded non-empty set. Let . To show it is sufficient to show i.e. is a boundary point. Let then is not an upper bound which means there is such that , and is above the supremem thus if then . This means intersects both and non-trivially. It follows that