Задание

Каково наибольшее целое положительное число X, при котором истинно высказывание:

((X - 1) < X) → (40 > X·X)