Prove that there exists no function such that and
Since forall this means that the function is strictly increasing in . Hence forall which in turn implies forall . Thus, . On the other hand , since is strictly increasing we get
From the first equation we have successively:
Using equation we conclude that
Using equation we get that
which is an obscurity. Hence , there is no such function!