部分和は上下に振れながら幅を狭めていく log 2 幅が狭まる根拠が、絶対値の単調減少である