Worked example: using the intermediate value theorem