Prove, using the Countable Principle of Choice, that every countable subset of $\omega_1$ has an upper bound in $\omega_1$.
Notation: $\omega_1$ denotes the first uncountable ordinal.