OSを作ってみよう

もしかして、
「2^n未満の2のべき数の集合Aにおいて、Sum(A) > 2^nならば」
と言ってるあたり、集合Aには重複する要素もあるということでしょうか？
それなら納得。