Por el Principio del Buen Orden, hay un menor entero positivo con esa propiedad.