I.D99 — τ-Integral

The τ-integral of f at stage k: ∫_k f = (Σ f(x)) / M_k. Expectation under the counting measure μ_k on Z/M_k Z.