>>534
なってるよ。Σ[k = 1〜n-1]b_k=n　になるから、この右辺の式でn=1とした（左辺はそもそもn≧2しか定義されない）値は1でゼロじゃない。