陈述Leibniz公式 (fg)^((n)) = sum _(k=0)^n \binomnk f^((k)) g^((n-k)) 并描述证明它的归纳法论证的结构。