Suppose . Then there exists an upper bound c' < c for X...
Let and let an upper bound for Prove that the following sentences are equivalent:
a)
b) For all exists an element so that
First a) implies b): since then the number is not an upper bound of then there exists so that Is that enough?
I'm having problems to prove b) implies a), how to proceed?