>>651
a[n]は具体的に出さなくてもいい。
１は、a[n]はすべてのnに対して正の値をとる事を示して、相加相乗平均。