Lemma B.1 — $\varepsilon\ln 512<33/338432$ for $\varepsilon=3/200000$ · Prove2Me

P

Initializing...

Lemma B.1 — $\varepsilon\ln 512<33/338432$ for $\varepsilon=3/200000$ · Prove2Me