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