TeX source:
a_n \leq s^n