Manuscript En03-A@1 · En03-A.tex · proof · 5398614e
Proof
Conditional approximation and verification interfaces › Independent-run sampling · lines 3045–3049
Proof. Hoeffding's inequality gives Hoeffding1963. Substitute the displayed radius.
Manuscript En03-A@1 · En03-A.tex · proof · 5398614e
Conditional approximation and verification interfaces › Independent-run sampling · lines 3045–3049
Proof. Hoeffding's inequality gives Hoeffding1963. Substitute the displayed radius.