Prove : $|x - y| \leqslant \epsilon$ $\forall \epsilon > 0$ iff $x = y$ I have to do this exercise for my math study, and I'm having trouble with doing the second part of it.
Let $x, y, \epsilon \in \mathbb{R}$ and $\epsilon > 0$. Prove: $|x - y| \leqslant \epsilon$ $\forall \epsilon > 0 \Leftrightarrow x = y$
I think I have the left implication $\Leftarrow$:
Assume $x = y \Rightarrow x - y = 0 \Rightarrow|x - y| = 0 = |0| \Rightarrow|x - y| = 0 < \epsilon \Rightarrow |x - y| \leqslant \epsilon$ $\forall \epsilon > 0 \in \mathbb{R}$
Is this argument correct?
For the right implication, I do only have an idea of how to prove it. I think I have to assume first that $x > y$ and then $x < y$ and get a contradiction form both. 
Could you please explain me the right implication and tell me if my left implication is correct?
Thanks in advance!
 A: Your left implication is OK. For the right implication, if $x\neq y$, just take $\epsilon=\frac{|x-y|}{2}$ to obtain a contradiction.
A: $( \Rightarrow ) $ I will prove by contraposition. Our affirmative states that:
$$
\forall \epsilon > 0 \; ( | x - y | < \epsilon ) \implies x = y
$$
The contrapositive is
$$
\lnot ( x = y ) \implies \lnot \forall \epsilon > 0 \; ( | x - y | < \epsilon ) \\
x \neq y  \implies  \exists \epsilon > 0 \; \lnot ( | x - y | < \epsilon ) \\
x \neq y \implies \exists \epsilon > 0 \; ( | x - y | \ge \epsilon )
$$
Therefore, if we prove the contrapositive, we have proved the affirmative. We need to find an $ \epsilon \le | x - y |$.
Let $ \epsilon = \frac{|x-y|}{2} $, since $ x \neq y $, without loss of generality,  let $ x > y $, that implies $ x - y > 0 $, since we have    $ | x - y | = x - y > 0 \implies | x - y | > 0 $.
Therefore $ | x - y | \ge \epsilon = \frac{|x-y|}{2} \implies 2 |x-y| \ge |x-y| $. That is true for all positive values, since we have proved our contraposition our initial hypothesis is valid.
$ ( \Leftarrow ) $ Direct proof. Let $ x = y \implies x - y = 0 \implies | x - y | = | 0 | < \epsilon \;\;\; \square$ 
A: Let $x\neq y$. Then show that there exists an $\epsilon>0$ such that $|x-y|>\epsilon$. (For example $\epsilon =\frac{|x-y|}{2}$, which satisfies $\epsilon>0$ because of our starting assumption.) The result follows from contraposition. 
