На числовой прямой задан отрезок P = [2508; 2570]. Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального A выражение
ДЕЛ(x, A) ∨ ((x ∈ P) → (¬ДЕЛ(x, 214) ∨ (x + A ≤ 5286)))
тождественно истинно, то есть принимает значение 1 при любом натуральном значении переменной х?