Norms on inner product space over $\mathbb{R}$ Definition of the problem
Let $\left(E,\left\langle \cdot,\cdot\right\rangle \right)$
be an inner product space over $\mathbb{R}$. Prove that for all $x,y\in E$
we have 
$$
\left(\left\Vert x\right\Vert +\left\Vert y\right\Vert \right)\left\langle x,y\right\rangle \leq\left\Vert x+y\right\Vert \cdot\left\Vert x\right\Vert \left\Vert y\right\Vert .
$$
My efforts
I tried to apply Cauchy-Schwarz inequality:
$$
\left|\left\langle x,y\right\rangle \right|\leq\left\Vert x\right\Vert \left\Vert y\right\Vert \quad\forall x,y\in E,
$$
and since we are in an inner product space over $\mathbb{R}$, we can simplify remove the absolute value from the inner product:
$$
\left\langle x,y\right\rangle \leq\left\Vert x\right\Vert \left\Vert y\right\Vert \quad\forall x,y\in E.
$$
We obtain:
$$
\left(\left\Vert x\right\Vert +\left\Vert y\right\Vert \right)\left\langle x,y\right\rangle \leq\left(\left\Vert x\right\Vert +\left\Vert y\right\Vert \right)\cdot\left\Vert x\right\Vert \left\Vert y\right\Vert \quad\forall x,y\in E.
$$
My question
Could you give me a hint/idea on how to solve this problem? Which Lemma/Theorem should I use?
Thank you,
Franck
 A: $\begin{align*} \big( \Vert x+y\Vert \Vert x \Vert \Vert y \Vert \big)^2 &= \Vert x + y \Vert^2 \langle x,x \rangle \langle y,y \rangle  = \langle x+y,x+y\rangle \langle x,x \rangle \langle y,y \rangle = \\ &= \big(\langle x,x \rangle + \langle y,y \rangle + 2 \langle x,y \rangle \big) \langle x,x \rangle \langle y,y \rangle = \\ &= \langle x,x \rangle^2\langle y,y \rangle + \langle x,x \rangle \langle y,y \rangle^2 + 2 \langle x,y \rangle \langle x,x \rangle \langle y,y \rangle \geq \\ &\geq \langle x,y \rangle^2\langle x,x \rangle + \langle x,y \rangle^2\langle y,y \rangle + 2\langle x,y \rangle^2 \langle x,x \rangle^\frac{1}{2}\langle y,y \rangle^\frac{1}{2} = \\ &= \big( \langle x,y \rangle \langle x,x \rangle ^\frac{1}{2}+ \langle x,y \rangle \langle y,y \rangle^\frac{1}{2}\big)^2 = \big( (\langle x,x \rangle ^\frac{1}{2}+  \langle y,y \rangle^\frac{1}{2})\langle x,y \rangle \big) ^2 = \\ &= \big( (\Vert x \Vert + \Vert y \Vert)\langle x,y\rangle\big)^2
\end{align*}$
To get to the fourth line, we apply the Cauchy-Schwarz inequality to each summand.
Then, $\big( \Vert x+y\Vert \Vert x \Vert \Vert y \Vert \big)^2 \geq \big( (\Vert x \Vert + \Vert y \Vert)\langle x,y\rangle\big)^2$, and since $\Vert x+y\Vert \Vert x \Vert \Vert y \Vert \geq 0$, we can simply cancel the squares, obtaining $\Vert x+y\Vert \Vert x \Vert \Vert y \Vert \geq \big(\Vert x \Vert + \Vert y \Vert)\langle x,y\rangle$.
Note that we used $\Vert x \Vert = \langle x,x \rangle ^\frac{1}{2}$ and the fact that $\langle x+y,x+y  \rangle = \langle x,x+y \rangle + \langle y,x+y\rangle =$ $=\langle x,x \rangle + \langle x,y \rangle + \langle y,x\rangle + \langle y,y \rangle = \langle x,x \rangle + \langle y,y \rangle + 2 \langle x,y \rangle$ since the inner product in a real vector space must be symmetric.
