Si probamos lo anterior, tendríamos la contradicción de que habría una cota superior menor que el supremo.