This is LaTeX code:
[latex]
\exists n \in N n \cdot E \ge 1 \Rightarrow (n + 1) \cdot E \ge n \cdot E \ge 1
[/latex]