集合 \(\{\,X\subset\kappa\,:\, |X|=\lambda\,\}\) のことを \(A\) と書こう.
各 \(X\in A\) ごとに, \(\lambda\) と \(X\) の間の全単射 \(h_X:\lambda\to\kappa\) を選べば, 単射 \(A\to{}^\lambda\kappa\) が得られるから, \(|A|\leq\kappa^\lambda\) である.
いっぽう, 個々の関数 \(f:\lambda\to\kappa\) は, 集合としては \(f\subset\lambda\times\kappa\) であり, また全単射 \(\xi\mapsto \langle \xi,f(\xi)\rangle\) があることから \(|f|=\lambda\) である. 要するに
\[
{}^\lambda\kappa\subset\{\,Y\subset\lambda\times\kappa\,:\,|Y|=\lambda\,\}
\]
であるが, いま \(\omega\leq\lambda\leq\kappa\) だから \(|\lambda\times\kappa|=\lambda\otimes\kappa=\kappa\) (→系10.13) で, \(\kappa^\lambda=|{}^\lambda\kappa|\leq|A|\) となることがわかる.
この解答に不具合を発見した方はぜひご指摘ください.