Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 19 / 2 / ii / Solution

Put $\theta =\mathrm{cf}(\delta )$. There is a strictly increasing cofinal map $a:\theta \to \delta$. If $\mathrm{cf}(\theta )=\nu <\theta$, choose a cofinal map $b:\nu \to \theta$. Then $a\circ b$ is cofinal in $\delta$, contradicting the definition of $\theta$ as its least cofinal order type. Since always $\mathrm{cf}(\theta )\le \theta$, we obtainFor a nonzero limit ordinal this is an infinite regular cardinal. If the convention includes zero among limit ordinals, its cofinality is zero and the identity is immediate there.