This is LaTeX code:

[latex]
\displaystyle
\sum_{i\in\omega+1}\prod_{j\in i}(\omega+(i+1)^j)
 = \sum_{i\in\omega}\prod_{j\in i}(\omega+(i+1)^j) + \prod_{j\in\omega}(\omega+(\omega+1)^j)
[/latex]