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