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