Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа A формула
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
Решение программой:
for a in range(1, 1500):
# Переменная-флаг,
# которой присваивается 1, если хотя бы одно выражение выдаёт ложь
f = 0
for x in range(1, 5000):
# Если выражение ложно(нам нужны только истинные),
# то приостанавливаем цикл
if ((a < 500) and ((x % 5 == 0) <= ((x % a == 0) or (x % 25 == 0)))) == False:
f = 1
break
if f == 0:
print(a)
# смотрим на последнее выведенное число. Оно и является ответом
Получаем ответ: 
Ответ: 5