Inner-product-induced norm
On the same real inner-product space, the norm is the nonnegative square root of the self-inner-product; the triangle inequality uses the universal Cauchy–Schwarz certificate.
atlas-inner-product-induced-norm · canonical_mko