If x is a real number, prove that there are integers p, q ∈ Z such that p < x < q.
Let us assume that there is no such that . This implies that .
This means that x is an upper bound for .
But, this contradicts the fact that is unbounded above.
Similarly,
Let there is no such that . This implies that .
This means that x is a lower bound for .
But, this contradicts the fact that is unbounded below.
So combining the previous two results we have,
, such that,
Comments
Leave a comment