>>90
その議論は集合 {3,5,6,7} が反例になるんじゃないかな
部分集合の和は全て異なるけど a_4 = 7 < 2^(4-1) になるから