If is bounded below but not bounded above, then is either or for some .

I know from a previously proved theorem that if is a connected subset of and , , then . And it seems intuitive that is the greatest lower bound for this set, but I am not sure how to begin to prove it.