If is a sentential formula depending on a variable ranging in a set of real numbers, the sentence
(1)
|
means
(2)
|
An example is the proposition
(3)
|
which is true, since the inequality is fulfilled for .
The statement can also be rephrased as follows: the terms of the sequence become eventually smaller than 0.0001.
There are various mathematical jokes involving "sufficiently large." For example, " for sufficiently large values of 1" and "this feature will ship in version 1.0 for sufficiently large values of 1."