Bessel's inequality, reverse inequalities, inner products, inequalities for finite sums