Claim 29.9(2): on a finite domain of size d ≥ 2, for ε ∈ (0,1/2) and m ≤ (d−1)/(6ε), A_bad has error ≥ ε with probability ≥ e^{−1}/6 under the distribution of the proof labeled by h_∅

Initializing...

Claim 29.9(2): on a finite domain of size d ≥ 2, for ε ∈ (0,1/2) and m ≤ (d−1)/(6ε), A_bad has error ≥ ε with probability ≥ e^{−1}/6 under the distribution of the proof labeled by h_∅ · Prove2Me