Thread: Proving equivalences

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?

Suppose . Then there exists an upper bound c' < c for X...