Function finite_decision_bound 

pub fn finite_decision_bound(
    baseline_energy: f64,
    rho_gate: f64,
    rejection_budget: u32,
) -> Result<u64>

Finite-decision bound floor(V_0 / rho_gate) + B + 1 (PSP-8 System 2).