2.5 The Precise Definition of a Limit