Leibniz rule (source code)

= Leibniz rule
{c}
{wiki}

The higher-order product rule is
$$
(fg)^{(n)}=\sum_{k=0}^n\binom nk f^{(k)}g^{(n-k)}.
$$