# Definition:Sufficiently Large

Jump to navigation
Jump to search

## Definition

Let $P$ be a property of real numbers.

Then:

**$\map P x$ holds for all sufficiently large $x$**

- $\exists a \in \R: \forall x \in \R: x \ge a: \map P x$

That is:

*There exists a real number $a$ such that for every (real) number not less than $a$, the property $P$ holds.*

It is not necessarily the case, for a given property $P$ about which such a statement is made, that the value of $a$ actually needs to be known, merely that such a value can be demonstrated to exist.