7. \(5^x \le 12.5\)

Функция \(5^x\) возрастает, поэтому знак неравенства сохраняется:

\(x \le \log_5 12.5\).

Так как \(12.5=\frac{25}{2}\), точного целого показателя нет.

Ответ: \(x \in (-\infty; \log_5 12.5]\), или приблизительно \(x \le 1.57\).