Taylor's remainder formula says that
where M is an upper bound for the absolute value of the third derivative on the interval . Computing the third derivative via the product rule gives
Notice that is increasing on and thus obtains its maximum at x = 1, i.e.
for .
The function is a parabola with roots at 0 and 1. Hence its minimum occurs at the midpoint of the roots, namely at . Since the value at the endpoints x = 0 and x = 1 is zero, the minimum value of the parabola maximizes its absolute value. Thus,
Since we want to bound the absolute value of the third derivative, we know that
- .
Hence, we have
as required.