Задание

Для какого наибольшего неотрицательного числа А выражение \(y\+4x\!=45\) v \(A\\lt x\) v \(x\\lt y\) тождественно истинно то есть принимает значение 1 при любых целых неотрицательных x и y?