>>351 for a_1=1.
a_1=1
a_2=3
a_3=4
a_4=5...

a_2=a_1+(2)
a_3=a_1+(2+1)
a_4=a_1+(2+1+1)

まあ、「n=1なら、Σ[k = 1〜n-1]b_k=0」が正しけりゃ
これは反例にはならんな。