Her $\epsilon>0$ için $x\leq \epsilon +y$ olsun.
$x>y$ olduğunu varsayarsak
$$\left.\begin{array}{rr} x>y\Rightarrow \epsilon_0:=\frac{x-y}{2}>0\\ \\ \text{Hipotez} \end{array}\right\}\Rightarrow x\leq \epsilon_0+y=\frac{x-y}{2}+y=\frac{x+y}{2}<\frac{x+x}{2}=x$$
çelişkisi elde edilir.