 Sauer-Shelah growth bound

The elementary estimate ${\sum }_{j=0}^D\left(\genfrac{}{}{0ex}{}{n}{j}\right)\le (n+1{)}^D$ converts finite VC dimension into a polynomial bound on the number of sample labelings.