Parte 3 del ejercicio 2 de desarrollo: "Sabemos que B es un conjunto no vacío acotado superiormente por lo tanto deducimos que existe el supremo del mismo, llamémosle β = supB. Queremos probar que −β es el ínfimo de A. Por la parte anterior sabemos que −β es cota inferior de A pues β lo es de B."
Dice que β es tanto el supremo de B como una cota inferior.
