Consider the equation
Assuming exists, show that has a fixed sign without solving for .
We differentiate with respect to , keeping in mind that is a function of so we must use the chain rule to differentiate .
Since , we have implies . Hence, .