20/06/01 21:14:56 QrFfnYLH.net
ちょっと訂正
x^2+y^2+z^2 ≦ 3(2/3)^(1/3) と
xy+yz+zx ≦ x^2+y^2+z^2 から
xy+yz+zx ≦ 3(2/3)^(1/3) がでてきて
これも用いています
つまり (1+x)(1+y)(1+z) = 1+(xyz)+(xy+yz+zx)+(x+y+z)
ここで 各括弧に導出した不等式を用いて上から評価しています
20/06/01 21:14:56 QrFfnYLH.net
ちょっと訂正
x^2+y^2+z^2 ≦ 3(2/3)^(1/3) と
xy+yz+zx ≦ x^2+y^2+z^2 から
xy+yz+zx ≦ 3(2/3)^(1/3) がでてきて
これも用いています
つまり (1+x)(1+y)(1+z) = 1+(xyz)+(xy+yz+zx)+(x+y+z)
ここで 各括弧に導出した不等式を用いて上から評価しています