Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-6/4/e/solution

Expansion of the two squares gives
Let be the Fourier distance of order two, with the supremum taken over . Both Fourier transforms have modulus at most one. Add and subtract , then use the triangle inequality:
Dividing by proves the bound by , and splitting the last expression into its two weighted terms gives the requested intermediate inequality. If one of vanishes, its unweighted difference is zero by equal mass; its weighted term is interpreted as zero, avoiding a quotient.
Equal mass and first moment also explain finiteness of this distance: subtract the constant and linear Taylor terms in the Fourier integral and use . This bounds the difference by . No direction-independent extension of the quotient at zero is required.

New to topics? Read the docs here!