Prove that

Let .

Let

For , I did this:

For ,

Now :

means or , but the possibility is endless.

I am cheating here:

or

Without lost of generality, say . Then for some , . I know this is not true for all

Does any one have a convincing proof for this part?