TeX source:
k \geq -1