Поиск минимального значения суммы последовательности по условию (доказательство)
Задача: найдите минимальное N такое, что если из чисел 1,2,3...,N убрать любые 1000 чисел, то из оставшихся можно выбрать ровно 1000 чисел с суммой N.
Сначала хотела написать код, чтобы получить ответ, но поняла, что не представляю, как он должен выглядеть в данной ситуации.
Вручную сделала грубую оценку, получила что это число должно быть чуть больше миллиона, но не знаю, какое это число и не знаю, как доказать, что оно наименьшее.
Источник: Stack Overflow на русском