Average speed = $ rac{1}{4 - 0} \int_0^4 (80 - 0.5x^2) dx$.