We are interested in the probability that h(x) is erroneous, given that h(x) satisfies the constraints: Here, the second step is Bayes' rule plus definitions, the third step is by the weak initial hypothesis assumption, and the last step is by algebra.
in order to get a probability of error at most η, we need The proof of Corollary 1 is straightforward.