第5問

$d_{i+1}<0$ となる最初の $i$ を取る。前縁和 $d_1+\cdots+d_i$ が正なら、人 $i$ から $i+1$ へ硬貨を移す。絶対値が1減り他の項は変わらない。正でなければ極小性から $d_1=\cdots=d_i=0$。