Prove that for every function $\displaystyle f: \omega_1 \rightarrow \omega_1$, there is a $\displaystyle \beta \in \omega_1$ such that $\displaystyle f[\beta] \subseteq \beta$.

Hint: A fixed point theorem may be useful. We may us the Countable Principle of Choice, but not the Axiom of Choice.