theorem Diesel1: :: MOEBIUS3:14

for x being Real st x > 0 holds
ln . (x + 1) < x