Condition on the sample. The set of vectors
has at most distinct members, each with Euclidean norm at most . The Massart finite-class lemma, the Sauer-Shelah growth bound, and give
Taking expectations and substituting this into part (i) yields