你想弄懂什么？

不等式 $-\frac{2}{3}a_n+\frac{1}{3}\le0$ 在代数上等价于 $\frac{1}{3}\le\frac{2}{3}a_n$，进而简化为 $\frac{1}{2}\le a_n$。由于下界 $a_n\ge\frac{1}{2}$ 已经通过归纳法证明，因此可以保证差 $a_{n+1}-a_n$ 是非正的。

适用条件：差的表达式为 $a_{n+1}-a_n = -\frac{2}{3}a_n + \frac{1}{3}$。；下界 $a_n \ge \frac{1}{2}$ 已经针对所有 $n \ge 1$ 确立。

不等式 $-\frac{2}{3}a_n+\frac{1}{3}\le0$ 在代数上等价于 $\frac{1}{3}\le\frac{2}{3}a_n$，进而简化为 $\frac{1}{2}\le a_n$。由于下界 $a_n\ge\frac{1}{2}$ 已经通过归纳法证明，因此可以保证差 $a_{n+1}-a_n$ 是非正的。

适用条件：差的表达式为 $a_{n+1}-a_n = -\frac{2}{3}a_n + \frac{1}{3}$。；下界 $a_n \ge \frac{1}{2}$ 已经针对所有 $n \ge 1$ 确立。