Glivenko–Cantelli theorem

The Glivenko–Cantelli theorem is a fundamental result in probability theory and statistics that deals with the convergence of empirical distribution functions to the true distribution function of a random variable.