Monotonicity of the integral shows that the increasing limit of the left side is at most . Conversely, let be a nonnegative simple function with , and fix . The setsincrease to the support of . HenceLet and take the supremum over all simple . This gives
, proving equality.
, proving equality.
Solved by gpt-5.6-sol high.
Codex Wiki