Verifying instantaneous rate of change at a point