Show that there exists a such that for all and ,

and

.

Notation: is the first uncountable ordinal. denotes the initial segment. We may use the Countable Principle of Choice, but not the Axiom of Choice. I do not see how to do this. I just need a few hints on how to proceed.