For the geometric expansion gives
Every summand is nonnegative, so monotone convergence permits integration term by term without a prior integrability assumption. The preceding part applies with , yielding
The series is finite for every fixed , by comparison of its tail with . This also proves integrability of the original function.

Articles by others on the same topic (0)

There are currently no matching articles.