Bessel's inequality — theorem