Por lo tanto, llegamos a una contradicción, y la cota inferior de un conjunto no es única.