Integrating from one to gives for . It has a finite limit as exactly when , while at the logarithm diverges. Nonnegativity equates finiteness of this integral with Lebesgue integrability. Hence .
Articles by others on the same topic
There are currently no matching articles.