再数含有两个、三个或四个大于 s_3 的元素的子集，共 400 个，故第二个端点差至少 399。两不等式相加得 s_6+s_7+s_8+s_9 至少为 409。但这四个数都不超过 99，和至多 394，矛盾。因此 (b) 成立。