Fuente TeX:
a_n \geq k