Cauchy-Schwarz Inequality

Given two Vector u,vCn\left\lvert u \right\rangle,\left\lvert v \right\rangle\in \mathbb{C}^n,

uvuv|\left\langle u|v \right\rangle|\leq \|u\|\|v\|

It’s squared form can be written as

uv2uuvv|\left\langle u|v \right\rangle|^2\leq \left\langle u|u \right\rangle\left\langle v|v \right\rangle