MathLabs

第2問

n≥3n\ge3 を整数とし、正の実数 a2,a3,…,ana_2,a_3,\dots,a_n が a2a3⋯an=1a_2a_3\cdots a_n=1 を満たすとする。(1+a2)2(1+a3)3⋯(1+an)n>nn(1+a_2)^2(1+a_3)^3\cdots(1+a_n)^n>n^n を示せ。
ステップ 1/4: 積の条件を使う
ざっくり言うと

積の条件により、後で変数因子が消去される。

a2a3⋯an=1a_2a_3\cdots a_n=1
詳しい解説

a2a3⋯an=1a_2a_3\cdots a_n=1 であり、すべての ai>0a_i>0 である。