“…Since ϕ n ≤ τ n ϕ 1 and (x, u) → ϕ 1 ((x, u), (x, u)) is integrable with respect to the product of ν and the Lebesgue measure on [0, 1], the ergodic theorem implies τ −1 n V n 2 is bounded, and n −1 V n 2 → 0. Unlike part (b), ϕ n is no longer degenerate, however, by applying [24,Corollary 2.3] to the Hoeffding decomposition of U n , and recognising that sup…”