Nghiệm nguyên dương nhỏ nhất của bất phương trình $25^{x-1}\ge 5^x$ là

(AI giải đề cho tôi)
$25^{x-1}=5^{2x-2}\ge 5^x$. Vì cơ số $5>1$, bất phương trình tương đương $2x-2\ge x\iff x\ge 2$. Nghiệm nguyên dương nhỏ nhất là $x=2$. Kiểm tra: $25^1=25\ge 5^2=25$ (đúng); với $x=1$: $25^0=1<5$ (không thỏa).