a[n] の級数と a[2^n] の級数の収束性になんか関係があったような…