松坂和夫著『解析入門上』を読んでいます。

今、ヘルダーの定理を証明せよという問題を解きました。

こんな不等式が役に立つことがあるんですか？

妙に複雑に見えます。