Precise definition of limit