a_k\le b_k