Some calculus ideas (work in prog)

Definition of Limit

( lim x → a f ( x ) = L ) ≡ ( ∀ ϵ > 0 , ∃ δ > 0 : ( x ∈ ( a − δ , a ) ∪ ( a , a + δ ) ) ⇒ ( f ( x ) ∈ ( L − ϵ , L + ϵ ) ) )