With the notation from part (i), the total-variation process of is
For the centered bivariate normal distribution used there, . The integral triangle inequality gives
Integrating this pointwise inequality against proves for every .