implies that such that
Therefore we have
On the other hand, pick
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!