Show that there exists a such that for all 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.