For p≥2 and p′=p/(p−1), interpolate the two-coordinate map (x,y)↦(x+y,x−y) between ℓ1→ℓ∞norm one and ℓ2→ℓ2norm2. This proves the scalar inequality with factor 21/p. Integrating that estimate and applying Minkowski inequality to ∣f∣p′+∣g∣p′ in Lp/p′ gives the displayed function inequality.