Consider the complex-linear two-coordinate map . The triangle inequality shows that its operator norm from to is one; equality is attained at . The complex parallelogram identity
shows that its norm from to is . Interpolate these endpoint bounds by the Riesz-Thorin theorem with parameter . Then
Dividing the output norm by proves the scalar estimate:
Apply it pointwise to and integrate its th power. With , this gives
By Minkowski inequality, the expression on the right is at most
Therefore the requested function inequality holds, namely the dual-exponent Clarkson inequality.