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,
.