$a_i\le b_i$ 应为 $a_i\le b_{p_i}$。