Suppose and . Prove that for every increasing sequence in , if , then .

I'm trying to prove [<==] when by contradiction. But not sure about the definition:

means that , there is such that Is this the correct definition?

So if , then there exists such that there exists such that Right?