Worked example: Rewriting limit of Riemann sum as definite integral