If P(n) is a sentential formula depending on a variable n ranging in a set of real numbers, the sentence P(n) for every sufficiently large n means exists N such that P(n) for all n>N. An example is the proposition 1/n^2<0.0001 for every sufficiently large n, which is true, since the inequality is fulfilled for n>100.