exo7 3042

1

Soit \(E\) ordonné tel que toute partie non vide et majorée admet une borne supérieure. Montrer que toute partie non vide et minorée admet une borne inférieure.