15.03 Неравенства

Решение программой:

Для нахождения наименьшего целого , при котором выражение

тождественно истинно для всех неотрицательных целых и , используем программный перебор. Идея заключается в том, чтобы проверить все значения от 1 до 9999 с помощью цикла for. Для каждого перебираем все значения и от 0 до 4999 через вложенные циклы for. Для каждой тройки вычисляем логическое выражение. Если хотя бы для одной пары выражение оказалось ложным, текущее отбрасываем. Если выражение истинно для всех , выводим найденный минимальный и прекращаем перебор.

# перебор возможных значений A от 1 до 9999
for a in range(1, 10000):
    f = 0  # флаг: 0 - выражение выполняется для всех x и y, 1 - есть ложное
    # перебор всех x от 0 до 4999
    for x in range(5000):
        # перебор всех y от 0 до 4999
        for y in range(5000):
            # проверка истинности выражения для текущих x, y и A
            if (((a > x) and (a > y)) or (53*x + 9*y > 30050)) == False:
                f = 1  # если выражение ложно, меняем флаг
                break  # выход из цикла по y
        if f == 1:
            break  # выход из цикла по x
    # если выражение истинно для всех x и y, выводим найденный минимальный A и прерываем цикл
    if f == 0:
        print(a)
        break

Получает ответ: