Решение руками:

Нам нужно, чтобы это выражение всегда было истинно; так как между скобками стоит ИЛИ, то достаточно чтобы хотя бы одна скобка давала истину. Известная часть дает ложь когда и . Получаем, что первая скобка обязательно должна давать истину когда и , то есть должно выполняться неравенство . Наибольшее , которое подходит под условие это 83.

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

for a in range(1000):
    f = 0
    for x in range(1000):
        for y in range(1000):
            if ((2*x+y > a) or (y < x) or (x < 28)) == False:
                f = 1
                break
        if f == 1:
            break
    if f == 0:
        print(a)