Prove that

My proof.

Pick

implies that such that

Note that

implies that

Therefore we have

On the other hand, pick

implies that

so such that

Note that we can find such y for every , therefore,

I have doubts about the second last line of my proof, is it reasonable for me to state that? Thanks!