estimating $\prod_{i=1}^k a_i\leq \max_i a_i^{p_i}$, where $\sum_i 1/p_i=1$ Let $1<p_1,\dots,p_k<\infty$ such that $\sum_{i=1}^k\frac{1}{p_i}=1$.
Moreover, let $a_1,\dots,a_k\geq 0$.
I have to show that 
$$\prod_{i=1}^k a_i\leq\max_i a_i^{p_i}$$
I want to use induction over $k$, but I am struggling with it.
For $k=2$ I only got to here:
Since $p_1$ and $p_2$ are Hölder conjugates, we have
$\frac{1}{p_1}+\frac{1}{p_2}=1\Leftrightarrow p_1=\frac{p_2}{p_2-1}$.
I have been experimenting with the case when $a_1 a_2>a_2^{p_2}$, but I didn't get anywhere
    \begin{align*}
  1<a_2^{p_2-1}a_1^{-1}
  \Leftrightarrow
  1<a_2 a_1^{-1/(p_2-1)}
  \Leftrightarrow
  1<a_2\frac{a_1^{p_1}}{a_1}
\end{align*}
...
I thought maybe case distinction between the four cases $a_i\leq 1$ and $a_i>1$ could work, but I don't see how this works, since we also have to take care of the $p_i$...

You can use weighted AM-GM inequality here
https://en.wikipedia.org/wiki/Inequality_of_arithmetic_and_geometric_means#Weighted_AM%E2%80%93GM_inequality
We have:
$$\prod\limits_i a_i \leq \sum\limits_i \frac{a_i^{p_i}}{p_i}\leq \max{a_i^{p_i}}\sum\limits_i\frac{1}{p_i}=\max{a_i^{p_i}}$$
