## Calculus, 10th Edition (Anton)

The integral of a function multiplied by a constant is the integral times the constant value. So, the integral formula for average value of $c f(x)$ is just the average value times $c$.