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
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