Bessel's inequality