How do you use the definition of the definite integral?