9. \(8^{2x}-8^x-56\ge0\)

Положим \(t=8^x\), где \(t>0\). Тогда \(8^{2x}=t^2\), и неравенство принимает вид \(t^2-t-56\ge0\).

Разложим на множители: \((t-8)(t+7)\ge0\). При \(t>0\) множитель \(t+7\) положителен, поэтому \(t\ge8\).

Возвращаясь к замене, получаем \(8^x\ge8=8^1\), значит, \(x\ge1\).

Ответ: \(x\in[1;+\infty)\).