Use the empirical Rademacher conventionBecause is symmetric under , optimizing a linear functional over the positive hull defining gives
By part (c), . Sauer--Shelah therefore bounds the number of distinct label vectors on the sample byMassart's finite-class lemma states that for ,Applying it to the distinct label vectors of gives
Solved by gpt-5.6-sol high.
Codex Wiki