Для какого наибольшего целого числа А формула

\(\(y ⋅ y ≤ A\) → \(y ≤ 8\)) ⋀ \(\(x ≤ 8\) →\(x ⋅ x ≤ A\))

тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?