Formal definition of limits Part 4: using the definition