Theorem. Discovery budget for a failure threshold [ftip-00I8]
Theorem. Discovery budget for a failure threshold [ftip-00I8]
Under \(0<p<1\), \(0<\delta <1\), and an integer budget \(B\geq 1\), the failure constraint is equivalent to the following bound.
\[B\geq \left \lceil \frac {\log \delta }{\log (1-p)}\right \rceil .\]The result is proved in Corollary [ftip-0079].