Let , , and be real numbers, and let be bounded and measurable with respect to the trace Borel -algebra on and the Borel -algebra on the real line. Assume that
where the integral is the Lebesgue integral over the compact interval , taken to be for .
Then for every .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.