Buenas
Te comento que la semana que viene se trabajara con el parcial en las clases de practico de jueves y viernes
Respecto a tu consulta concreta
Lo que se menciona es
Es decir que todo elemento de tiene algun otro elemento de que es menor que el. Otra manera de decirlo es dado cualquier elemento de hay otro elemento, también de , que es menor.
Supongamos por un momento que tiene mínimo. digamos que es .
La sentencia comienza con para todo , por lo que podriamos tomar ese como .
Para ese ( en nuestro caso) existe tal que lo cual es una contradicción.
Cualquie cosa vuelve a escribir