e^x - x - 1 \ge 0