Proof of Theorem 3 — $A_{n_k} > (2(3+\varepsilon)/(6+\varepsilon))^{k-1}$ from (4.11), (4.12), (4.14)

Initializing...

Proof of Theorem 3 — $A_{n_k} > (2(3+\varepsilon)/(6+\varepsilon))^{k-1}$ from (4.11), (4.12), (4.14) · Prove2Me