Для какого наибольшего целого числа А формула ((x ≤ 10)→(x·x ≤ A)) /\ ((y·y ≤ A)→(y≤10)) тождественно истинна, т.е. принимает значение 1 при любых целых неотрицательных х и у? [v1–18]