Каково наибольшее целое положительное число X, при котором истинно высказывание: ((X - 1) < X) → (40 > X·X)
Задание

Каково наибольшее целое положительное число X, при котором истинно высказывание:
\(\(X \- 1\) < X) → \(40 \\gt X·X\)