№959668422

(А.Богданов) Для какого наименьшего целого неотрицательного числа А логическое выражение

$(11\le y)\vee (7\cdot y<x)\vee (A>x\cdot y)$

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