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