For every fixed , , so . To exchange the limit with the Lebesgue integral, we need a common integrable bound over the whole half-line.
For , , so
Together with , this gives
For , , hence , which is integrable because . For ,
Both terms are integrable because :
The second equality follows from integration by parts, or the substitution . Consequently is a Lebesgue integrable function, and every is Lebesgue integrable.
The dominated convergence theorem states that almost everywhere convergence of measurable functions under one integrable absolute-value bound implies L1 convergence, and in particular convergence of their integrals. Here the pointwise limit is zero and the dominator is , so
In fact we obtain the stronger conclusion . A quantitative version follows by retaining the factors in the bound:
The preceding endpoint estimates show , so the L1 norm is as , with denoting Big O notation. This is logarithmic reweighting under dominated convergence.