P

Initializing...

Proof of Theorem 2.1, p. 10: x ≤ 2 log(1+x) for 0 ≤ x ≤ 1 · Prove2Me