Каково наименьшее целое положительное число X, при котором высказывание:
(4 > -(4 + X)·X)) → (30 > X·X) будет ложным.