lim f(n) = a


      
f(n) ‒ a ˂ δ


(δ): (∃v):ˇ◇◇◇n ˃ v . ⊃ . fn ‒ a ˂ δ