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 + ϵ ) ) )