何かみんな難しく考えてない？

>>589
n 以下で成り立つと仮定すると
H(a[1] + … + a[n] + a[n+1])
≧H(a[1] + … + a[n]) + H(a[n+1])
≧H(a[1]) + … + H(a[n]) + H(a[n+1])