P

Initializing...

Lemma 2.1 — $\lambda_1 n \le \rho^{-2}(1/a + 1/b)(|E| - |E_A| - |E_B|)$ · Prove2Me