https://www.glc.us.es/~jalonso/calculemus/cs_de_y_menor_o_igual_que_x/
Pruebas de "(∀ ε > 0, y ≤ x + ε) → y ≤ x"