Системы автоматизированного проектирования (САПР)

[Linear]

∃x ϵ Χ(f(x)≤a)


Среди элементов множества X найдется, по крайней мере, один, при котором некоторая функция f(x) меньше или равна заданному a.


∃ - этот знак не может означать "для всех" он означает, "Существует хотя бы один такой"

в нашей задаче предполагаю ответ который я написал выше.