CB.Calc.LIM-3.A: Interpret a limit as a definition of a derivative.