I presume it means .
We know that,
thus, for some .
We will prove it by trichtonomy.
But that cannot be because,
And and .
Thus, thus . And we also know that .
Thus, because . And hence it is not "greatest".
By similar reasoning. We can show leads to contradiction.
Thus, by trichtonomy,