lim f(n) = a

     
f(n)-a < δ

(δ): (∃v):n>v .⊃. fn-a<δ