Задание

Для какого наименьшего неотрицательного целого числа А формула 
\(x ≥ 9\)\(2x \\lt y\) ∨ \(xy \\lt A\)
тождественно истинна \(т\.е\. принимает значение 1\) при любых неотрицательных целых x и y.