Soient et deux parties non vides et majorées de . On définit :
1
Montrer que admet une borne supérieure, puis que .
2
Montrer l’implication :
Soient et deux parties non vides et majorées de . On définit :
Montrer que admet une borne supérieure, puis que .
Montrer l’implication :