Theorem 2.6 — $b \le (1-a)\exp(-\ln(1+2a)\lfloor\sqrt{\lambda_1/2d}\,\rho\rfloor)$ · Prove2Me

P

Initializing...

Theorem 2.6 — $b \le (1-a)\exp(-\ln(1+2a)\lfloor\sqrt{\lambda_1/2d}\,\rho\rfloor)$ · Prove2Me