>>605
了解しました。

結局、Σ[k = a〜b] a_k = 0　（a>b)を認めるなら、
n≧2の場合分けはいらない、でよいのですよね？