TeX source:
k\geq 1