多項定理
3個以上の函数の積の高階導函数に対しても、一般のライプニッツの法則を適用することができる:
( f 1 ⋯ f m ) ( n ) = ∑ k 1 + ⋯ + k m = n ( n k 1 , ⋯ , k m ) f 1 ( k 1 ) ⋯ f m ( k m ) {\displaystyle (f_{1}\cdots f_{m})^{(n)}=\textstyle \sum \limits _{k_{1}+\cdots +k_{m}=n}{\dbinom {n}{k_{1},\cdots ,k_{m}}}{f_{1}}^{(k_{1})}\cdots {f_{m}}^{(k_{m})}}