Proving Hölder's Inequality Let $f,g,\alpha:[a,b]\rightarrow \mathbb{R}$ with $\alpha$ increasing and $f,g \in \mathscr{R}(\alpha)$, and $p,q&gt;0$ with $\frac{1}{p}+\frac{1}{q}=1$. Prove that $$\left|\int_a^b f(x)g(x)d\alpha\right|\leq \left(\int_a^b \left|f(x)\right|^p d\alpha \right)^{1/p} \left(\int_a^b \left|g(x)\right|^q d\alpha \right)^{1/q}$$


I am using Young's inequality, which states that for $a,b&gt;0$, $uv\leq \frac{1}{p}u^{p}+\frac{1}{q}v^{q}$. This gets me as far as showing that $$\left|\int_a^b f(x)g(x)d\alpha\right|\leq \int\left( \frac {1}{p}|f(x)|^p +\frac{1}{q}|g(x)|^q\right)d\alpha$$

But here I'm stuck. I'm vaguely thinking that I could use the fact that $\frac {1}{p}|f(x)|^p +\frac{1}{q}|g(x)|^q$ is a convex combination and so if I do some Jensen's inequality type thing, but I can't figure out a way to make it work out.
Suppose $\displaystyle\int_a^b \left|f(x)\right|^p d\alpha\neq 0$ and  $\displaystyle\int_a^b \left|g(x)\right|^q d\alpha\neq 0$. Otherwise, if $\displaystyle\int_a^b \left|f(x)\right|^p d\alpha=0$, then $f\equiv 0$ a.e. and the Holder's inequality is trivial in this case. 

Now applying Young's inequality with $u=\displaystyle\frac{|f(x)|}{(\int_a^b \left|f(x)\right|^p d\alpha)^{\frac{1}{p}}}$ and $v=\displaystyle\frac{|g(x)|}{(\int_a^b \left|g(x)\right|^q d\alpha)^{\frac{1}{q}}}$, we have
$$\frac{|f(x)|}{(\int_a^b \left|f(x)\right|^p d\alpha)^{\frac{1}{p}}}\cdot\frac{|g(x)|}{(\int_a^b \left|g(x)\right|^q d\alpha)^{\frac{1}{q}}}\leq\frac{1}{p}\frac{|f(x)|^p}{\int_a^b \left|f(x)\right|^p d\alpha}+\frac{1}{q}\frac{|g(x)|^q}{\int_a^b \left|g(x)\right|^q d\alpha}.$$
Integrating it from $a$ to $b$ with respect to $d\alpha$, we obtain
$$\frac{\int_a^b|f(x)||g(x)|d\alpha}{(\int_a^b \left|f(x)\right|^p d\alpha)^{\frac{1}{p}}(\int_a^b \left|g(x)\right|^q d\alpha)^{\frac{1}{q}}}\leq\frac{1}{p}+\frac{1}{q}=1$$
which implies that 
$$ \tag{1}\int_a^b|f(x)||g(x)|d\alpha\leq\left(\int_a^b \left|f(x)\right|^p d\alpha \right)^{1/p} \left(\int_a^b \left|g(x)\right|^q d\alpha \right)^{1/q}.$$
Now the inequality which we want to prove follows from $(1)$ and the inequality
$$\left|\int_a^b f(x)g(x)d\alpha\right|\leq\int_a^b|f(x)||g(x)|d\alpha.$$
In the vast majority of books dealing with Real Analysis, Hölder's inequality is proven by the use of Young's inequality for the case in which $p , q &gt; 1$, and they usually have as an exercise the question whether this inequality is valid for $p =1$ which means that $q = \infty$.
Well, if $f \in L_{1}$ and $g \in L_{\infty}$ then, 
\begin{equation}
\Vert f \Vert_{1} = \int_{a}^{b} \vert f(x) \vert dx &lt; \infty \text{  and  } \Vert g \Vert_{\infty} = \sup_{x \in [a,b]} \lbrace g(x): x \in [a,b] \rbrace &lt; \infty.
\end{equation}
So, using properties of the absolute value, we have
\begin{eqnarray}
\left\vert \int_{a}^{b} f(x)g(x) dx \right\vert &amp;\leq&amp; \int_{a}^{b} \vert f(x)g(x) \vert dx \\
&amp;=&amp; \int_{a}^{b} \vert f(x)\vert \vert g(x) \vert dx \\
&amp;\leq&amp;  \int_{a}^{b} \vert f(x)\vert \sup_{x \in [a,b]} \lbrace \vert g(x) \vert : x \in [a,b] \rbrace dx \\
&amp;=&amp; \sup_{x \in [a,b]} \lbrace \vert g(x) \vert : x \in [a,b] \rbrace \int_{a}^{b} \vert f(x)\vert dx \\
&amp;=&amp; \Vert g \Vert_{\infty} \Vert f \Vert_{1}. 
\end{eqnarray}
This is the answer to the mentionated case.