2x = 70000 - 7y
x = 35000 - 3,5y
x>0, y>0 - так как X и Y натуральные.
Согласно условию неотрицательности X и Y, пар, удовлетворяющих последнему уравнению будет 10001 (y=0, 1, 2, 3,...,10000). Однако, при НЕЧЁТНЫХ Y, X будет принимать дробные значения. Из 10 тысяч возможных значений Y отбросим нечётные. Их ровно 5000.
Далее спорная ситуация - кто-то причисляет 0 к натуральным числам, кто-то нет. Если Вас учат тому, что 0 - натуральное число, то значений будет 10001-5000 = 5001, если же 0 - НЕ НАТУРАЛЬНОЕ в Вашей программе, то значений будет 10001 - 5000 - 2 = 4999. Двойка в последнем выражении - это две пары X=0, Y=10000 и X=35000, Y=0.
Переводим дроби в неправильные.
7/5 < x/5 < 11/5
Умножаем все на 5
7 < x < 11
Так как неравенства строгие, то x = 8; 9; 10
100/17 = 5 15/17.
Наименьшее натуральное n = 6 > 100/17