Rademacher bound for bounded weighted indicators

For $|D_i|\le M$ and a binary class $H$ of VC dimension at most $p$, the vectors $(D_{i}h(X_i){)}_{i=1}^n$ have norm at most $M\sqrt{n}$ and at most $(n+1{)}^p$ distinct values. The Massart finite-class lemma gives