>>401
a(2)-a(1)<b(1)
a(3)-a(2)<b(2)
…
a(k)-a(k-1)<b(k-1)
両辺を加えると
a(k)-a(1)<Σ[i=1,k-1]b(i) …(1)

a(k+1)-a(k)<b(k)が成り立たないとき
b(k)≦a(k+1)-a(k)
a(k+1)-a(k)≦2(a(k+1)-a(k))-b(k)
(1)の両辺に加えると
a(k+1)-a(1)<2(a(k+1)-a(k)-b(k))+Σ[i=1,k]b(i)

a(k+1)-a(1)<Σ[i=1,k]b(i)とはならない。