triangle inequality, reverse inequalities, Bessel's inequality, inner products, complex numbers