For all vectors $u$ and $v$ in an inner product space, it always holds that \left|\langle u, v \rangle\right|^2 \leq \langle u, u \rangle \cdot \langle v, v \rangle.