triangle inequality, reverse inequality, normed linear spaces, inner product spaces, complex numbers