ResPubID14254, triangle inequality, Diaz–Metcalf inequality, integral inequalities, complex Hilbert spaces