Proper noun
Cauchy-Schwarz inequality (linear algebra, mathematical analysis) A theorem which states that the absolute value of the dot product between two vectors is less than or equal to the product of the magnitudes of the two vectors.