Formal definition of limits Part 3: the definition