Leibniz rule/Definition

Rule for differentiating a product function n times.