\begin{definition}[Definition:Arbitrarily Large]
Let $P$ be a property of real numbers.
We say that '''$P \left({x}\right)$ holds for arbitrarily large $x$''' (or '''there exist arbitrarily large $x$ such that $P \left({x}\right)$ holds''') {{iff}}:
:$\forall a \in \R: \exists x \in \R: x \ge a: P \left({x}\right)$
That is:
:''For any real number $a$, there exists a (real) number not less than $a$ such that the property $P$ holds.''
or, more informally and intuitively:
:''However large a number you can think of, there will be an even larger one for which $P$ still holds.''
\end{definition}