Задание

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

(2x + 3y < 30) ∨ (x + y ≥ A)

тождественно истинно при любых целых неотрицательных x и y?