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