Worked example: Derivative as a limit