Для какого наибольшего целого числа А формула
\(\(x ≤ 9\) →\(x⋅x ≤ A\)) ⋀ \(\(y⋅y ≤ A\) → \(y ≤ 9\))
тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?