∀ x > -1, ln(1 + x) ≤ x