Для какого наименьшего целого неотрицательного числа А логическое выражение

(250000 < x) ∨ (y + 2x < A) ∨ (y > 250000)

тождественно истинно (т. е. принимает значение 1) при любых целых неотрицательных x и у?