Let
The clock is an absolutely continuous function and is strictly increasing: its derivative is positive away from the Brownian zero set, which has zero Lebesgue measure. It also tends to infinity. This is immediate for ; for , recurrence and the Strong Markov property imply that the Brownian occupation time of, for example, is unbounded, while the integrand is bounded below there by .
Thus is continuous, strictly increasing, and maps onto itself. Its inverse function is finite, continuous, and strictly increasing.
Let . Since is the clock from part (b) and ,
For , the absolutely continuous function has derivative on . The one-dimensional area bound for an absolutely continuous function therefore gives
For , and the conclusion follows directly because the Brownian zero set has zero Lebesgue measure. Hence the zero set of has zero Lebesgue measure almost surely.