{ a(1)^n+・・・+a(n)^n }^(1/n) ≦ a(1)+・・・+a(n)