precise definition of a limit