See Leibniz rule, a disambiguation page, for other meanings of this term.

In calculus, the Leibniz rule, named after Gottfried Leibnitz, generalizes the product rule. It states that if f and g are n-times differentiable functions, then the nth derivative of the product fg is given by

where is the usual binomial coefficient.

This can be proved by using the product rule and mathematical induction.