ヘルダーの不等式に重みつきってあるのかな?