Lemma 17, p. 19 — (1 − (1 − x²)^b)/x is ε-close to 1/x on D_{κd} for every integer b ≥ (κd)² log(κd/ε)

Initializing...

Lemma 17, p. 19 — (1 − (1 − x²)^b)/x is ε-close to 1/x on D_{κd} for every integer b ≥ (κd)² log(κd/ε) · Prove2Me