TeX source:
k ≥ 1