proof of Cauchy condition for limit of function
The forward direction is . Assume that . Then given there is a such that
Now for and we have
and so
We prove the reverse by contradiction.Assume that the condition holds.Now suppose that does not exist. This means that forany and any sufficiently small then for any there is such that .For any such choose such that andput then substituting in the condition with we get. A contradiction.