>>652

(1)
a1+b1 < a2+b1 < … < ai+b1 < a1+b2 < … < ai+bj,
∴ i+j-1 ≦ k_(i,j),

ai+bj < a(i+1)+bj < … < aL+bj < aL+b(j+1) < … < aL+bm,
∴ k(i,j) ≦ n -(L-i) -(m-j) = i+j + (n-L-m),