lim f(n) = a

      
f(n)-a < δ

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