MathLabs

第1問

a1,a2,…,ana_1,a_2,\dots,a_n を非負整数列とし、An=(a1+a2+⋯+an)/nA_n=(a_1+a_2+\cdots+a_n)/n とおく。a≥1a\ge1 に対して a!=1⋅2⋯aa!=1\cdot2\cdots a、0!=10!=1 とする。a1!a2!⋯an!≥(⌊An⌋!)na_1!a_2!\cdots a_n!\ge (\lfloor A_n\rfloor!)^n を証明し、等号成立条件を求めよ。
ステップ 5/6: 第一の等号条件
A=B=0  ⟺  a1=a2=⋯=an.A=B=0\iff a_1=a_2=\cdots=a_n.
詳しい解説

s より上または下の因子がなければ全項が s であり、全て等しい。逆も明らかである。