pub fn sample_floor(rho: f64) -> Result<usize>Expand description
The sample floor a declared budget implies: the feasible set of Theorem 5
is empty exactly when rho < 1/(n+1), so n >= 1/rho - 1 labeled
samples are required before any proposal can be autonomously accepted at
all. For the common rho = 0.05 this is 19.