15_0396

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

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

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