【答案解析】证明 因为正数的算术平均数不小于几何平均数，所以有

从而
故 单调减少，再由x _n ≥0(n=2，3，…)，则 存在，
令 ，等式 两边令n→∞得 ，解得