Substitute , giving . The nonnegative integral becomes
For an integration by parts gives ; its boundary term vanishes because exponential decay dominates . Hence it is finite, proving integrability and
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.