Here’s a solution to a problem, I guess?
\[ \forall x \in \mathbb{R} : \exists n \in \mathbb{Z} : n > x \]