Write for the squared integral norm in question. The scaling property of the Fourier transform gives , which vanishes outside . Also . The condition does not imply , because need not be nonnegative.
Part (b), now for observations of , gives . Apply the Tonelli theorem to this nonnegative integrand, use the bound on , and change variables :
The characteristic function is continuous and nonzero on the compact interval of integration, so for every . The Markov inequality gives, for every ,
Consequently , including for any deterministic bandwidth sequence . The stochastic order follows directly from this uniform probability bound. Independence of and gives , explaining why division by is the Fourier deconvolution operation.