ln x dx from 0 to 1