MathLabs

第1問

x1,x2,…,xnx_1,x_2,\ldots,x_n を正の実数とし、S=x1+x2+⋯+xnS=x_1+x_2+\cdots+x_n とおく。(1+x1)(1+x2)⋯(1+xn)≤1+S+S22!+S33!+⋯+Snn!(1+x_1)(1+x_2)\cdots(1+x_n)\le 1+S+\dfrac{S^2}{2!}+\dfrac{S^3}{3!}+\cdots+\dfrac{S^n}{n!} を証明せよ。
ステップ 3/4: 全ての対称和の上界を得る
ek≤Skk!(k=1,2,…,n)e_k\le\dfrac{S^k}{k!}\qquad(k=1,2,\ldots,n)
詳しい解説

Sk≥k!ekS^k\ge k!e_k を整理すると ek≤Sk/k!e_k\le S^k/k! を得る。これは積の展開に現れる各非定数項に必要な評価である。