Prove that
First note that the function is strictly increasing for (It is in fact strictly increasing for but we take for simplicity’s sake.)
Hence for all we have i.e.
Now define for
We have
Since for we have that for by above.
Thuis is strictly decreasing for
In particular,
i.e.
But