证明：①当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．