Here’s a GeoGebra applet that I made for my Real Analysis class. It can be used to explore the definition of limit:
Definition. The limit of as
approaches
is
, or equivalently
if for any
there exists
such that whenever
, it follows that
.