The function is nonnegative and measurable, so Lebesgue integrability is equivalent to finiteness of its integral. For ,
Letting gives a finite limit exactly when ; at the integral is and diverges. By the monotone convergence theorem for truncations,
For ,
The limit as is finite exactly when ; the case diverges logarithmically. Positivity and the monotone convergence theorem identify these limits with the Lebesgue integral. Hence

Articles by others on the same topic (0)

There are currently no matching articles.