Как превратить 0000 в 0001 и сохранить в текстовый файл, потом 0001 превратить 0002 и сохранить в текстовый файл, действие нужно повторять до тех пор, пока изначальное 0000 не превратиться в 9999?
Не является ответом на вопрос, так как не решает поставленной задачи.
Коллега, в вопросе просят записать в файл. И конечно, жаль, что Yandex.Q не поддерживает форматирования кода python...