0\leq c-x_k\leq\displaystyle\frac{y_1-x_1}{2^k}