Sauer-Shelah growth bound (source code)

= Sauer-Shelah growth bound
{c}

The elementary estimate $\sum_{j=0}^D\binom nj\leq(n+1)^D$ converts finite VC dimension into a polynomial bound on the number of sample labelings.