P
Initializing...
Proposition 2, p. 17 — (1 − 1/e)σ⁽¹⁾ < 1 − e^{−σ⁽¹⁾} < 1 − e^{−α⁽¹⁾}, 1/(1 + ln(r⁽ᵐ⁾/r⁽¹⁾)) < σ⁽¹⁾, and 1 − e^{−α} < 1 − e^{−α⁽¹⁾} · Prove2Me