Surely you left something out.
Did you mean that is connected?
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.
I am trying to prove the two parts of that theorem described in the last post. I believe I need to show that since is bounded below, it has a greatest lower bound and that said bound doesn't actually need to be included in the interval. But I am not sure how to get that started.
I have gotten this far with the proof:
Since is bounded below, has a greatest lower bound, say . Since is not bounded above, I claim that or .
Case 1: Suppose such that . Since , . Now since is unbounded, there is some such that . but since , by previously proved lemma, and . Henc e .
Case 2: Suppose and suppose , .
Now I am not sure how to move on to say that everything approaching a is in S but a is not in S.