integral log(x)/x dx from 1 to e