\displaystyle\frac{1}{2^k}<\frac{t}{y_1-x_1}