>=xk <xk+1 yk