Theorem 2.5 — $b \le (1-a)/(1 + (\lambda_1/d)a\rho^2)$ for sets at distance $\rho > 1$

Initializing...

Theorem 2.5 — $b \le (1-a)/(1 + (\lambda_1/d)a\rho^2)$ for sets at distance $\rho > 1$ · Prove2Me