\omega^\omega n +1 \leq \omega^\omega n +\omega^\omega = \omega^\omega (n+1) \leq \omega^\omega \omega = \omega^{\omega+1}