10
punti
Livello 0
Se per assurdo fosse x <= M per ogni x in X
allora M sarebbe un maggiorante di X per definizione.
Il minimo dei maggioranti, che é sup X, non può essere allora maggiore di M ( altrimenti non é
il minimo ) per cui, contro l'ipotesi, non può essere +oo.
48876
punti
Livello 7
$ \forall x \in X, \; \exists M \in \mathbb{R} \;| \; M \ge x $
Si tratta di negare la definizione di esistenza di un maggiorante
$ \forall M \in \mathbb{R}, \; \exists x \in X \;|\; x \gt M $
11632
punti
Livello 4