На числовой прямой даны два отрезка: Р = [10, 20] и Q = [30, 40].

Укажите наибольшую возможную длину отрезка А, для которого формула

((х ∈ Р) → (х ∈ Q)) → ¬(х ∈ А)

тождественно истинна, то есть принимает значение 1 при любом значении переменной х.