PDF-версии: 
Для какого наименьшего целого неотрицательного
тождественно истинно при любых целых
Решение. Решим задачу графически. Условие
Ответ: 21.
Примечание.
Обратим внимание читателей, использующих программный способ решения этой и подобных задач, что в условии говорится о неотрицательных числах, поэтому перебор значений
Приведём решение на языке Python.
for a in range(0, 300):
k = 0
for m in range(0, 300):
for n in range(0, 300):
if (2*m + 3*n > 40) or ((m < a) and (n <= a)):
k += 1
if k == 90_000:
print(a)
break
Приведём решение Михаила Глинского на языке Python.
for a in range(100):
flag = 1
for m in range(100):
for n in range(100):
f = ((2*m+3*n) > 40) or ((m < a) and (n <= a))
if f == 0:
flag = 0
break
if flag:
print(a)
break