\omega^n < \omega^n \cdot 2 < \omega^n \cdot \omega = \omega^{n+1}