integrate 1/ln x