５１３ですが。
結局、「n=1なら、Σ[k = 1〜n-1]b_k=0」となるかどうかが問題ってことなんですか？
２９０はこれが成り立たなけりゃ通らない
（531は反例となる）ってことも分かっているんでしょうな？