Week 02:Limit of a function and limit laws, The precise definition of a limit