Worked example: problem involving definite integral (algebraic)