Задача #384

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

ТРЕУГ(A,5,x)→((МАКС(x,11)⩽19)≡¬ТРЕУГ(23,13,x))

тождественно истине (т.е. принимает значение 1) при любом натуральном значении переменной x?
Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.