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
(1) and (2) are consequences of (3) and (5) in Lemma 3.14, respectively.
(3) We set
for (t1,…,tr)∈(I1×⋯×Ir)∩ℚr(t_{1},\ldots,t_{r})\in(I_{1}\times\cdots\times I_{r})\cap{\mathbb{Q}}^{r}. By (1) and (2), for λ∈[0,1]∩ℚ\lambda\in[0,1]\cap{\mathbb{Q}} and (t1,…,tr),(t1′,…,tr′)∈(I1×⋯×Ir)∩ℚr(t_{1},\ldots,t_{r}),(t^{\prime}_{1},\ldots,t^{\prime}_{r})\in(I_{1}\times\cdots\times I_{r})\cap{\mathbb{Q}}^{r}, we have
that is, f0f_{0} is concave on (I1×⋯×Ir)∩ℚr(I_{1}\times\cdots\times I_{r})\cap{\mathbb{Q}}^{r}. Therefore, the assertion (3) follows from [7, Corollary 1.3.2]. ∎
110 source-bound objects; statement and proof tags appear beside their original text.