>>589
ａ[1]+ａ[2]+…+ａ[n]=ｓとおくと、
H(ｓ) - H(ａ[1]) - H(ａ[2]) - … - H(ａ[n])
= ……
= Σ[1≦i<j≦m] {H(s_i, s_j) - H(a[1]_i,a[1]_j) - … - H(a[n]_i,a[n]_j)}
= Σ[1≦i<j≦m] h(ｂ[i],ｂ[j]),

つまりm項ベクトルの場合も、実は2項ベクトルの調和平均差の総和に過ぎない。　←これ重要

h(ｘ,ｙ) = H(Σ[k=1,n] x_k, Σ[k=1,n] y_k) - H(x_1,y_1) - H(x_2,y_2) - …… - H(x_n,y_n)
≧0,　(>>593)