Автор: К.Ю. Поляков
Известно, что для некоторого отрезка
А формула
( (x ∈ A) → (x2 ≤ 25) ) ∧ ( (x2 ≤ 16) → (x ∈ A) )
тождественно истинна (то есть принимает значение 1 при всех вещественных значениях переменной x). Какую наименьшую длину может иметь отрезок A?