Letand let
an upper bound for
Prove that the following sentences are equivalent:
a)
b) For allexists an element
so that
First a) implies b): sincethen 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?
