Well suppose there was an
with
for all
. Clearly we would need to have
, because all elements of
are
. Thus the open interval
is not empty, and all of its elements are in
and all of them are greater than
- this clearly contradicts the definition of
.