Fuente TeX:
a_n \geq \sqrt{3}