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