Source TeX:
k+1 \geq 2