Converting $\exists x \exists y (x\geq y)$ into English $\exists x \exists y (x\geq y)$
The universe of discourse is all real numbers. This says that there exists an $x$ and there exists a $y$ such that $x\geq y$. But what is this actually trying to say?  I would like to think that it's saying "a number is as large as itself", but I would like some clarification.

$(\exists x)(\exists y)(x\geq y)$ means there are two real numbers (possibly the same) such that one is not smaller than the other.
$(\exists x)(x\geq x)$ means there is a real number not smaller than itself.
$(\forall x)(x\geq x)$ means every real number is not smaller than itself.
Each of the three statements above happens to be true.
