TeX source:
1\le k\le n