Solution
= Solution
\b[No such <ordinal> exists.] For $\alpha>1$, <ordinal multiplication> gives $\alpha^2=\alpha\alpha\geq\alpha\cdot2=\alpha+\alpha>\alpha$. Since <ordinal exponentiation> is nondecreasing in the exponent for base $\alpha>1$, $\alpha^\omega\geq\alpha^2>\alpha$.