You're more or less right, but there's no need to pick an . Remember, that if it is the case that , then for every , we have that . So, pick an - then, we have that , but we can rewrite this to , from which we conclude that , which satisfies our definition.

I've just put all your ideas into a shorter proof. If this is indeed your first proof, it's an excellent attempt