>>31
>>26のアルゴリズムが動くには、(4)のところで
n_3 ≧ 8(29+1) = 240
であればよい。
n_3 = n - (a_1 + a_2 + a_3),
a_1 + a_2 + a_3 ≦ 81 + 50 + 36 = 167
だから、n ≧ 240 + 167 = 407 であれば十分。

あと、26〜29 が４個の連続する良い数であることを
使っていて、これは 24〜27 に置き換えられるから、
そのときは n ≧ 8(27+1) + 167 = 391 であれば十分。
つまり、391以上の良くない数は存在しない。

(5)の書き方おかしかったけど、
これは、４個の0を含む平方数の和だと具合が悪いから、
４個の0でない平方数の和になるように、
29 のほうから必要なぶんだけ(k個の)1をもらって来て、
b_i=0 のところを 1 で埋めてる。

４平方数の定理はこのへん
ttp://aozoragakuen.sakura.ne.jp/suuron/node40.html