pub fn pairwise_joint_miss(q_i: f64, q_j: f64, kappa: f64) -> f64
Lemma 5.1’s exact pairwise joint miss: q_i q_j + κ σ_i σ_j.
q_i q_j + κ σ_i σ_j