Cauchy-Bunyakovsky-Schwarz inequality, inner products, Heisenberg inequality