Unlock: Glivenko-Cantelli Theorem

Uniform almost-sure convergence of the empirical CDF to the true CDF — the prototype of every uniform-convergence statement in statistics and learning theory. The classical statement, the DKW exponential rate, the function-class generalization, and the bridge to VC and Rademacher bounds.