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

Упростим выражение, раскрыв импликацию:

Из известной части мы получаем что и . Отсюда получаем двойное неравентсво . Наименьшее удовлетворяющее этому неравенству – 82.

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

for a in range(1000):
    flag = True
    for x in range(1000):
        for y in range(1000):
            if (((y * y <= a) <= (y <= 10)) and ((x <= 9) <= (x * x < a))) == False:
                flag = False
                break
    if flag:
        print(a)
        break