Задание #T2333

Задание

Для какого наименьшего числа AA формула (A(x2)<y)((x10)(20x)<y)\left(A\cdot\left(x-2\right)<y\right)\rightarrow\left(\left(x-10\right)\cdot\left(20-x\right)<y\right) тождественно истинна при любых неотрицательных числах x,yx,y?