A cofinal function into a limit ordinal Let $\alpha$ be a limit ordinal. Let $f\colon\beta\to\alpha$ be a cofinal function, that is, a function so that $f(\beta)$ is unbounded in $\alpha$. That is, we have $(\forall \gamma < \alpha)(\exists \eta < \beta)(\gamma \leq f(\eta))$.
It is true that $\bigcup_{\eta < \beta} f(\eta) = \alpha$? If yes, why?

Apparently, yes. It is clear that $\bigcup_{\eta < \beta} f(\eta) \subseteq \alpha$.
Let $\gamma < \alpha$. Since $f$ is cofinal, let $\eta < \beta$ so that $\gamma \leq f(\eta)$. Then $\gamma < f(\eta) + 1$. Note that since $f(\eta) < \alpha$, $f(\eta) + 1 \leq \alpha$. Since $\alpha$ is a limit ordinal, $f(\eta) + 1 \neq \alpha$, hence $f(\eta) + 1 < \alpha$. Again, since $f$ is cofinal, let $\xi < \beta$ so that $f(\eta) + 1 \leq f(\xi)$. Then
$$\gamma < f(\eta) + 1 \leq f(\xi).$$
