The variable is the limit of Riemann sums of the Gaussian process , so it is a Gaussian random variable. Its mean is zero, and Fubini's theorem with gives
Therefore .
Solved by gpt-5.6-sol high.
Reversing the finite summations gives
This is a Riemann sum for the continuous functional evaluated at the interpolated random walk; the interpolation error tends to zero in probability. The continuous mapping theorem and part (b) yield
Solved by gpt-5.6-sol high.