№867639179

Известно, что для некоторого отрезка

А формула

( (x ∈ A) → (x² - 16x ≤ 57) ) ∧ ( (x² - 21 ≤ 4x) → (x ∈ A) )

тождественно истинна (то есть принимает значение 1 при всех вещественных значениях переменной x). Какую наибольшую длину может иметь отрезок A?