k < cos(x) < k + \frac{1}{2}