(a) Let be real valued measurable functions on with the property that for every , is differentiable at and
Prove that
(b) Suppose in addition that is bounded on Prove that
|
Let and suppose . Set for . Prove that for almost every ,
|
By change of variable (setting u=nx), we have
Monotone Convergence Theorem
edit
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
Since
,
we have almost everywhere
This implies our desired conclusion: