Решение

Шаг 1. Перебор A от меньшего к большему

for A in range(1, 101):

Ищем наименьшее A, при котором формула истинна для всех пар (x, y).

Шаг 2. Проверка всех пар (x, y)

for x in range(1, 101):
    for y in range(1, 101):
        if not ((x < A) or (x*y>50) or (x > y + 10)):
            ok = False
            break

Для каждого A перебираем целые положительные x и y и проверяем дизъюнкцию из условия.

Шаг 3. Первое подходящее A — ответ

if ok:
    print(A)
    break

Если ни одна пара не опровергла формулу — нашли нужное A, выводим и останавливаемся. Ответ: 14.