На числовой прямой задан отрезок A. Известно, что формула
\(\(x ∈ A\) → \(x2 ≤ 100\)) ∧ \(\(x2 ≤ 64\) → \(x ∈ A\)) тождественно истинна при любом вещественном x. Какую наибольшую длину может иметь отрезок A?