Unlock: Glivenko-Cantelli Theorem

Uniform almost-sure convergence of the empirical CDF to the true CDF, and the function-class generalization that ML uses for ERM. Covers the classical theorem, the DKW exponential rate (Massart 1990), the Glivenko-Cantelli class definition, and the bridge to VC dimension and Rademacher complexity.