Derivative at a discontinuity

This uses a simpler approach than generalized functions/distributions.