Supón que \( x>0 \) y llega a una contradicción, eso demuestra que \( x=0 \).
Entonces por densidad existe k real tal que $$0\leq{k}<x$$ y elijo $$k=\epsilon$$ y tengo la contradicción. Correcto?
Ésa es una manera. Otra manera más elemental, sin invocar densidad, es tomar \( \epsilon =x/2 \), entonces de los axiomas que definen a los números reales se sigue que \( x=x/2+x/2>x/2=\epsilon >0 \), que contradice la suposición de inicio, por tanto \( x=0 \).∎