関数 $f(x),~g(x)$ が, ともに $n$ 回微分可能である時,

$\displaystyle \left\{ f(x)g(x)\right\}^{(n)} = \sum_{k=0}^n {}_n{\rm C}_k f^{(k)}(x)g^{(n-k)}(x)$

が成り立つ。