lim f(n) = a


     
f(n) ‒ a ˂ δ


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