For the inductive step, we know by the product rule for two functions that
Then use the inductive hypothesis on the first summand, and distribute.