∫[0,1]logx/xdx