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,即全相等;反之显然成立。