Bounds for the uniform deviation of empirical measures

If X₁,…,X_n are independent identically distributed R^d-valued random vectors with probability measure μ and empirical probability measure μ_n, and if $\text{a}$ is a subset of the Borel sets on R^d, then we show that P{sup_{A∈$\text{a}$}|μ_n(A)?μ(A)|≥ε} ≤ cs($\text{a}$, n²)e^?2n∈2, where c is an explicitly given constant, and s($\text{a}$, n) is the maximum over all (x₁,…,x_n) ∈ R^dn of the number of different sets in {{x₁…,x_n}∩A|A ∈$\text{a}$}. The bound strengthens a result due to Vapnik and Chervonenkis.