Since no one else is trying this I will give a suggestion. This is not a full solution but merely a possible building block for you to work off of. Because of the neccessary montonicity of

why not consider three cases:

,

, or
Case Three needs no explanation.
If case two is true then obviously
And if case one is the case then we would have that
So now we just need to use the fact that

to show that
By the definition of

we have that for every

there exists a

such that

implies
So now because of the above we have that

whenever

so