Задание 15 ЕГЭ по информатике

Для какого наименьшего неотрицательного целого числа $A$ формула

$(x ≥ 9) ∨ (2*x < y) ∨ (x*y < A)$

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