证明：①当n=1时，不等式成立
②假设当n=k-1时成立，则当n=k时，考虑等式a₁a₂a_3^•…•a_k=1
若a₁，a₂，a₃，…，a_k相同，则都为1，不等式得证
若a₁，a₂，a₃，…，a_k不全相同，则a₁，a₂，a₃，…，a_k的最大数和最小数不是同一个数
不妨令a₁为a₁，a₂，a₃，…，a_k的最大数，a₂为a₁，a₂，a₃，…，a_k的最小数．
则∵a₁a₂a_3^•…•a_k=1，∴最大数a₁≥1，最小数a₂≤1
现将a₁a₂看成一个数，利用归纳假设，有a₁a₂+a₃+…+a_k≥k-1…（1）
由于a₁≥1，a₂≤1，所以（a₁-1）（a₂-1）≤0
所以a₁a₂≤a₁+a₂-1…（2）
将（2）代入（1），得
（a₁+a₂-1）+a₃+…+a_k≥k-1，即a₁+a₂+a₃+…+a_k≥k
∴当n=k时，结论正确
综上可知，a₁+a₂+a₃+…+a_n≥n．