Worked example: Derivative from limit expression