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

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