Fuente TeX:

a_{n+1} \leq a_n \Leftrightarrow 3 \leq a_{n+1}^2