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.