Worked example: Rewriting definite integral as limit of Riemann sum