Question: Why is it possible to define by the previous formulae? Answer: If the conditions for a function to be an inner product are fulfilled, then we can prove the Cauchy-Schwarz inequality: