integral 1/(4+ln x)