Multiplicative sum is bigger than sum prove I want to prove this: $$\prod_{i=1}^n(1+a_i) \ge 1+\sum_{i=1}^n(a_i)$$
Whereas $a_n$ is a family of non-negative, real numbers.
I wrote out the sums and got to this point: $$(1+a_1)*(1+a_2)* \ ... \ *(1+a_n) \geq (a_1+\frac1n) + (a_2+\frac1n) + ...+(a_n + \frac1n)$$
And I know that every part of the sum is now for sure smaller than every factor of the multiplicative sum. However, this does not suffice to prove the statement, since for example $1,05 * 1,04 < 1,03+1,02$ .
How do I finish the proof?
 A: If you explicitly multiply the LHS you will get
$$
\prod_{i=1}^n(1+a_i)=1+\sum_{i=1}^n a_i+\text{many other nonnegative terms} \ge 1+\sum_{i=1}^n a_i.
$$
A: You can use a neat induction on $n$.
First let us show that your statement is trivially true for $n=2$.
$$\prod_{i=1}^2 (1+a_i) \ge 1 + \sum_{i=1}^2 a_i \iff$$
$$\iff (1 + a_1)(1 + a_2) \ge 1 + a_1 + a_2$$
which is obvious if you factor out the left-hand side.
Now assuming that your inequality is true for $n$, let us show it is also true for $n+1$:
$$\prod_{i=1}^{n+1} (1+a_i) \ge 1 + \sum_{i=1}^{n+1} a_i \iff $$
$$\iff (1 + a_{n+1})\prod_{i=1}^n (1+a_i) \ge 1 + a_{n+1} +  \sum_{i=1}^n a_i$$
Again expanding the left hand side should now make it obvious:
$$(1 + a_{n+1})\prod_{i=1}^n (1+a_i) \ge 1 + a_{n+1} +  \sum_{i=1}^n a_i \iff$$
$$\iff \prod_{i=1}^n (1+a_i) + a_{n+1}\prod_{i=1}^n (1+a_i) \ge a_{n+1} + (1 +  \sum_{i=1}^n a_i) \iff$$
but you know, from the inductive step, that 
$$\prod_{i=1}^{n} (1+a_i) \ge 1 + \sum_{i=1}^{n} a_i$$
so it suffices to show that 
$$a_{n+1}\prod_{i=1}^n (1+a_i) \ge a_{n+1}$$ but that is trivially true since 
$k = \prod_{i=1}^n (1+a_i) \ge 1$; then you can write $ka_n \ge a_n$ which holds true in our case: $a_n \ge 0$ and $k \ge 1$.
A: You can show the inequality by using induction. For $n=1$ we do not have to show anything. Assume that the inequality holds for $n\in \mathbf N$. Then we get
$$\prod_{i=1}^{n+1}(1+a_i)=(1+a_{n+1})\prod_{i=1}^{n}(1+a_i) \stackrel{\text{IH}}{\geq} (1+a_{n+1}) \left(1+\sum_{i=1}^n a_j \right)  =1+ a_{n+1} \sum_{i=1}^n a_j + a_{n+1} +\sum_{i=1}^n a_j.$$
By assumption $a_{n+1} \sum_{i=1}^n a_j >0$ and therefore we get
$$1+ a_{n+1} \sum_{i=1}^n a_j + a_{n+1} \sum_{i=1}^n a_j >  1+ a_{n+1} \sum_{i=1}^n a_j = 1+ \sum_{i=1}^{n+1} a_j.$$
By the way: the inequality 
$$\prod_{i=1}^{n}(1+a_i) > 1+ \sum_{i=1}^{n} a_j$$
also holds if $a_i \in (-1,0)$ for all $i\in \{1, \dotsc, n\}$ and if $a_i=a$ for all $i\in \{1, \dotsc, n\}$ you get the well known Bernoulli's inequality.
