7.2 The derivative of a function