Сколько существует целых значений числа A, при которых формула ((x A) → (x2 y2 ≤ 64) → (y ≤ A)) тождественно истинна при любых целых неотрицательных x и y?

Сколько существует целых значений числа A, при которых формула ((x A) → (x2 y2 ≤ 64) → (y ≤ A)) тождественно истинна при любых целых неотрицательных x и y?