311 Limit (Sequence)
A sequence 「aₙ」 converges to a limit L if and only if for every ε>0 there exists a natural number N such that n>N ⇒ ∣aₙ−L∣<ε. ...
http://qindex.info/i.php?x=9704

-