Put . If , take the inner product with the unit vector . Then
by the Cauchy-Schwarz inequality; the case is immediate. This is the triangle inequality for a vector-valued integral.
Equality in the Euclidean argument requires for every : the nonnegative continuous difference has integral zero. Equality in Cauchy-Schwarz inequality then says with . Conversely, if for one fixed and a continuous , then for every norm,
Thus these nonnegative-ray functions, including , are exactly the required functions.