Известно, что для некоторого отрезка А формула
\( ( (x \in A) \rightarrow (x^{2} \leq 64) ) \land ( (x^{2} — 48 \leq 2x) \rightarrow (x \in A) )\)
тождественно истинна (то есть принимает значение 1 при всех вещественных значениях переменной x). Какую наименьшую длину может иметь отрезок A?