TeX source:
k \leq n