What is the formal definition of limit?