Probability inequalities for sums of bounded random variables

We use Hoeffding's inequality in dalla2026between to bound the deviation of empirical from population Bayes risk, yielding, together with a union bound over encodings, a polynomial-in-N sample complexity that justifies the practical relevance of the separation margin.