bi>min(ai,ai−1)b_i>\min(a_i,a_i-1)bi>min(ai,ai−1)
应为
bi>min(ai,ai−1)b_i>\min(a_i,\red{a_{i-1}})bi>min(ai,ai−1)