Proof. Prove the product rule (fg)' = f'g + fg' from the definition of the derivative by limit