>>19
凸関数、不等式などをキーワードにして検索すると解説があるはず。
0≦H(i) は 0<p≦1 ならば 0<-plog p を使う。