仕方ない。この問題をあげるね。

 数列{a(n)}を以下のように定義する。
  ∀n Σa(k) = 2^n (kはnの約数全体をわたる)
 
  さて、 n│a(n) を満たさないa(n)は存在するか。