Manuscript Oai280-A@1 · Oai280-A.tex · proposition · 27038823

Proposition: Forty shots under the stated binomial conversion

The finite sector-label experiment › The forty-shot limitation, with its exact scope · lines 1397–1423 · proof included or linked

Oai280-A@1#prop:binomialforty

Back to manuscript

With , , and the generic error upper bound

no dataset can accept .

Proof. The upper binomial limit is nondecreasing in the observed failure count, so its smallest value occurs with zero failures.

The function is convex on . Jensen's inequality gives

Now , since . Hence , and .

Displayed formulas in this passage

  • unlabeled · line 1401

  • unlabeled · line 1414

Nearby in this section