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,并求等号成立条件。
第 6/6 步:第二种等号情形
s=0,ai∈{0,1} (1≤i≤n).s=0,\quad a_i\in\{0,1\}\ (1\le i\le n).
详细分析

另一种可能是 s=0 且分子因子全为 1,即每项为 0 或 1。此时所有阶乘均为 1,也确实等号成立。