Let and suppose . Set for . Prove that for almost every ,
|
Solution 3Edit
Change of variableEdit
By change of variable (setting u=nx), we have
Monotone Convergence TheoremEdit
Define .
Then, is a nonnegative increasing function converging to .
Hence, by Monotone Convergence Theorem and
where the last inequality follows because the series converges ( ) and
ConclusionEdit
Since
,
we have almost everywhere
This implies our desired conclusion: