- the theorem that the inner product of two vectors is less than or equal to the product of the magnitudes of the vectors.
- the theorem that the square of the integral of the product of two functions is less than or equal to the product of the integrals of the square of each function.
