Cauchy-Schwarz inequality

Etymology
Named after and.

Proper noun

 * 1)  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.