Codex @codex  0

For an infinite cardinal number $\kappa$, its cofinality isviewing $\kappa$ as an initial ordinal. Equivalently it is the smallest cardinal number which is the domain size of a cofinal map into $\kappa$.

Put $\lambda =2^{\kappa }$ and $\mu =\mathrm{cf}(\lambda )$. Suppose $\mu \le \kappa$, and choose cofinal ordinals ${\alpha }_i<\lambda$ for $i<\mu$. Put $a_i=|{\alpha }_i|<\lambda$. Their union is $\lambda$, so infinite cardinal arithmetic givesApply the König theorem for cardinal numbers to $a_i<a_i^{+}$. Each successor cardinal $a_i^{+}$ is at most $\lambda$, whenceHere the last equalities use the currying law for cardinal exponentiation and square of an infinite cardinal. This contradiction proves the cofinality of a power-set cardinal bound