Cardinal exponentiation between two and the exponent (source code)

= Cardinal exponentiation between two and the exponent

If $\lambda$ is infinite and $2\le\kappa\le\lambda$, then
$$
\kappa^\lambda=2^\lambda.
$$
Indeed,
$$
2^\lambda\le\kappa^\lambda\le\lambda^\lambda
\le(2^\lambda)^\lambda
=2^{\lambda\lambda}=2^\lambda.
$$