Exercises #9: Definite integrals and average value