Theorem

For an $\mathbb{F}$-Inner Product Space $(V,\langle \cdot, \cdot \rangle)$ we have $$\mid \langle v_{1}, v_{2} \rangle \mid\le \lVert v_{1} \rVert \lVert v_{2} \rVert\quad v_{1},v_{2}\in V$$