This is LaTeX code:

[latex]
a_{n+1}=2^{a_n}\geq 2^n
[/latex]