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