This is a version of the Cauchy-Schwarz inequality.
View page
The Cauchy-Schwartz inequality is a mathematical inequality. It
states that for all vectors x and y of an inner product space, the
dot product of x and y squares is less than or equal to the dot
product of x to itself multiplied by y to itself.
View page
M. Chacron has written:
'Non isotropic unitary spaces and modules with Cauchy-Schwarz
inequalities' -- subject- s -: Inequalities - Mathematics -,
Representations of groups, Unitary groups