TeX source:
f(x_k)>y-\frac{1}{k}