# How do you use the limit definition to prove a limit exists?

Given $\left\{{a}_{n}\right\}$ a sequence of real numbers, we say that $\left\{{a}_{n}\right\}$ has limit $l$ if and only if
AA epsilon>0, exists n_0 in NN // AAn>n_0 rArr abs(a_n-l))< epsilon