$a_i,b_i$ 中所有元素的值小于 $n$ -> $a_i,b_i$ 中所有元素的值小于等于 $n$