Massart (1990) gave a version of the Dvoretsky-Kiefer-Wolfowitz
inequality with the best possible constant:
$$P\left(\sup_{x}|\hat F_n(x)-F(x)|> t\right) \leq%
2\exp(-2nt^2)$$
where \(\hat F_n\) is the empirical distribution function for
a sample of \(n\) independent and identically distributed random
variables with distribution function \(F\). This inequality is true
for all distribution functions, for all \(n\) and \(t\).
This test is used in base R to check the standard distribution
functions. The code may be found in the file p-r-random.tests.R
in the tests
directory.