Let are real numbers connected by the relationship and , . Then (Holder inequality)
The formula ( Young inequality ) implies Set , where and then Hence,
Assume that is a finite collection of real numbers connected by the relationship and . Then (Holder inequality 2)
The proposition is a consequence of the formula ( Holder inequality ) by induction.
Let be a positive function. Assuming that all the integrals are well defined and are connected as above, the following estimate holds (Holder inequality 3)
We essentially repeat the proof of the formula ( Holder inequality ). Set , where and then Hence,