5.3 First principles (definition of derivative)