Konkavität von f(x) = ln x auf (0, infinity)