- #1

- 4

- 0

I know that I need to prove that if the ordered field has the GLB property, then it has the LUB property, and that if the ordered field does NOT has the GLB property, then it also does not have the LUB property. I'm just really stuck on how to start the proof - do you assume the ordered field is bounded?

Any help would be appreciated!