The derivative of a function multiplied by a constant (formula with example)