Upper bound $L(k+1) \le \rho(k) - 1$ (ER Proposition 5.3 with the pigeonhole bound) · Prove2Me

P

Initializing...

Upper bound $L(k+1) \le \rho(k) - 1$ (ER Proposition 5.3 with the pigeonhole bound) · Prove2Me