# General Leibniz rule

In calculus, the **general Leibniz rule**,[1] named after Gottfried Wilhelm Leibniz, generalizes the product rule (which is also known as "Leibniz's rule"). It states that if and are -times differentiable functions, then the product is also -times differentiable and its th derivative is given by

Part of a series of articles about |

Calculus |
---|

where is the binomial coefficient and denotes the *j*th derivative of *f* (and in particular ).

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