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