Fuente TeX:
a_n \leq k