ヘルダーの不等式を証明汁