You want the zeros of , . Observe by differentiation that f is strictly increasing. Therefore if f has at most one root, since if a<b were two distinct roots we could chuse a<c<b, and 0=f(a)<f(c)<f(b)=0, a contradiction. To see that one root exists, evaluate f near zero to get a negative value and then above 4 to get a positive value and use the IVT.