Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Statement (1) is obvious. For the statement (2), write
with in
(respectively, in ). Then the upper
envelope admits the DC decomposition with
|
|
|
which are both concave functions in
(respectively, in ). This shows that
is in (respectively, in
). The statement for the lower
envelope follows similarly.
∎