Ответ: 9513, 9514, ..., 10 012.
Решение. Если все числа не более чем четырехзначны, то цифр не более 4 • 500 = 2000 — недостаточно. Если все числа не менее чем пятизначны, то цифр не менее 5 • 500 = 2500 — больше, чем надо. Значит, часть чисел четырехзначна, а часть — пятизначна. Замена четырехзначного числа на пятизначное добавляет одну цифру. При всех четырехзначных числах нам не хватает 13 цифр. Значит, надо взять 13 пятизначных чисел — самых первых:
9999 + 1, 9999 + 2, ..., 9999 + 13 = 10 012.
Вычисляя разность 10 012 — 500 = 9512, найдем самое большое четырехзначное, которое мы не взяли. Отсюда ответ.
Решение. Если все числа не более чем четырехзначны, то цифр не более 4 • 500 = 2000 — недостаточно. Если все числа не менее чем пятизначны, то цифр не менее 5 • 500 = 2500 — больше, чем надо. Значит, часть чисел четырехзначна, а часть — пятизначна. Замена четырехзначного числа на пятизначное добавляет одну цифру. При всех четырехзначных числах нам не хватает 13 цифр. Значит, надо взять 13 пятизначных чисел — самых первых:
9999 + 1, 9999 + 2, ..., 9999 + 13 = 10 012.
Вычисляя разность 10 012 — 500 = 9512, найдем самое большое четырехзначное, которое мы не взяли. Отсюда ответ.