Let be a normed vector space with an inner product . For all vectors , the Cauchy–Schwarz inequality states that:

where and are the norms of and , defined by: