求证正整数阶乘不等式：$a_1!\cdots a_k! < n!$（$a_1+\cdots+a_k < n$）及思路困惑

针对你提出的问题：对于正整数$a_1,\dots,a_k$（$k\geq 1$），若$a_1+\cdots+a_k < n$，则$a_1!\cdots a_k! < n!$，我们可以通过组合数的性质直接建立$\left(\sum a_i\right)!$与$\prod a_i!$的关联，避开归纳法，具体步骤如下：

分情况讨论 #

情况1：$k=1$ #

此时条件简化为$a_1 < n$，因为阶乘函数对正整数是严格递增的，显然$a_1! < n!$，结论直接成立。

情况2：$k\geq 2$ #

设$m = a_1 + a_2 + \dots + a_k$，已知$m < n$，因此首先有$m! < n!$（阶乘严格递增）。接下来我们需要证明$\prod_{i=1}^k a_i! < m!$，进而结合$m! <n!$得到最终结论。

利用多项式系数的正整数性质

多项式系数的定义为：
$$\binom{m}{a_1,a_2,\dots,a_k} = \frac{m!}{a_1!a_2!\dots a_k!}$$
这个系数表示将$m$个元素分成$k$组，每组大小为$a_1,a_2,\dots,a_k$的分法数，必然是正整数。

当$k\geq2$且所有$a_i$都是正整数时，这个分法数至少为2：

• 比如取前两个数$a_1,a_2$，$\binom{m}{a_1} = \frac{m!}{a_1!(m-a_1)!} \geq 2$（因为$a_1\geq1$，$m-a_1 = a_2+\dots+a_k \geq1$，从$m$个元素中选$a_1$个的组合数至少是2）；
• 后续的组合数$\binom{m-a_1}{a_2},\dots$都是至少1的整数，因此整个多项式系数$\geq2$。

由此可得不等式：
$$\frac{m!}{\prod_{i=1}^k a_i!} \geq 2$$
两边乘$\prod a_i!$（正数，不等号方向不变）：
$$m! \geq 2 \cdot \prod_{i=1}^k a_i!$$

结合已知条件推导结论

因为$m <n$，所以$m! <n!$，代入上式：
$$2 \cdot \prod_{i=1}^k a_i! \leq m! <n!$$
两边除以2（$n\geq2$，因为$m\geq k\geq2$且$m <n$，所以$n! \geq2! =2$，$\frac{n!}{2} <n!$）：
$$\prod_{i=1}^k a_i! < \frac{n!}{2} <n!$$

综上，无论$k=1$还是$k\geq2$，结论都成立。

内容的提问来源于stack exchange，提问作者user265675