This is LaTeX code:
[latex]
\omega^\omega\omega=\omega^{\omega+1} \leq (\omega^\omega +1)\omega
[/latex]