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

( x + 2 y > A ) \/ ( y < x ) \/ ( x < 30)

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