Concavity of f(x) = ln x on (0, infinity)