@nickbros123 see if this convinces you. Let S be a subset of the reals. If it has a minimum, that's the infimum. Suppose it has no minimum, and suppose it has some lower bound.
Let L be the set of lower bounds of S. Clearly, L is bounded above by the elements of S, so it has a supremum, sup L. Suppose s is an arbitrary element of S.
If s is to the left of sup L, then sup L is not the supremum of L, which is a contradiction. s is not at sup L either, because since S has no minimum, that implies there is another element of S at sup L's left, which we've seen is a contradiction. Therefore, s…