Approximate derivative

Summary

The approximate derivative of a real function at a point is a limit of its difference quotients. In this limit one may ignore a set that is very thin near the point. The ignored set must have density $0$ at the point, in the sense of Lebesgue's density theorem. Approximate derivatives exist in many cases where ordinary derivatives do not, and they are the derivatives used in the Khinchin integral.