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