Рекурсия не слишком сложная получается. И ответ достаточно простой.
Для начала обратите внимание на допустимые цифры по модулю 7. Что получилось бы если добавить ещё одну подходящую цифру?
Обозначим набор цифр M={1,3,4,6,7,9}
В наборе цифры с остатками от деления на 7 равны:
[1]=1, [9]=2, [3]=3, [4]=4, [6]=6, [7]=0.
Если бы была в наборе цифра 5, то таких чисел было бы в точности 7^2013. Поскольку каждому числу из 2013 цифр из М+{5}, соответствовала бы одна единственная цифра, приписанная в конце, дополняющая остаток от деления.
Поскольку в нашем наборе только 6 цифр. То общее количество 6^2013 минус числа из 2013 цифр, которым требуется дополняющий остаток 5.
А таких наборов в точности столько же, сколько 2012-значных чисел из нашего изначального M. И т.д.
Соответственно рекурсия даёт ответ:

Проверьте кто-нибудь
Ну да . геометрическая прогрессия