15_0302

Обозначим через $ТРЕУГ(n,m,k)$ утверждение «существует невырожденный треугольник с длинами сторон $n$, $m$ и $k$».

Для какого наибольшего натурального числа $A$ формула
$$ТРЕУГ(x,A,4) \to \lnot\big(ТРЕУГ(x,13,21) \equiv \lnot(МАКС(x,6)>17)\big)$$
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?

Примечание. $МАКС(a,b)=a$, если $a>b$, и $МАКС(a,b)=b$, если $a\le b$.