Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 10 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Lemma 4
Assume that f : 𝐑 n → 𝐑 + f:{\bf R}^{n}\to{\bf R}_{+} is a concave and homogeneous function of degree one, which satisfies ∂ f ( λ ) ∂ λ j > 0 \frac{\partial f(\lambda)}{\partial\lambda_{j}}>0 for any λ \lambda in an admissible cone Γ ⊂ 𝐑 n \Gamma\subset{\bf R}^{n} . Assume that there is a γ > 0 \gamma>0 such that
f ( μ ) ≥ n γ 1 / n ( ∏ j μ j ) 1 / n , for all μ ∈ Γ n := { λ ∈ 𝐑 n : λ 1 > 0 , … , λ n > 0 } . f(\mu)\geq n\gamma^{1/n}(\prod_{j}\mu_{j})^{1/n},\quad\mbox{for all }\mu\in\Gamma_{n}:=\{\lambda\in{\bf R}^{n}:\lambda_{1}>0,\ldots,\lambda_{n}>0\}.
(4.1)
Then f f satisfies the structural condition (1.4 ).