Update formal-limit.tex

In definition of limit, f(p) should be f(x). Note that f(p) doesn't necessarily exist is p is not in U.
Merge pull request #57 from bartbosma/patch-1

Update formal-limit.tex