P
Initializing...
Proof of Theorem 6, p. 34 — −log(1 − t) ≤ t + 2t² for |t| ≤ 1/2 · Prove2Me