Здравствуйте, alo, Вы писали:

К>>А поскольку мы ищем пересечение с y(n)=n, dy/dn = 1,

alo>Не понял, почему 1?
Почему производная y(n) равна 1? А чему она равна?

Напоминаю: нужно найти все корни уравнения times(n) == n.
Слева — затейливая ломаная, а справа — прямая линия.

Ломаную можно аппроксимировать тремя отрезками: (n0,t0) — (n1,t1) — (n2,t2) — (n3,t3), где t_i = times(n_i)
Причём известно, что на [n1..n2) — из-за наличия цифры k в старшем разряде — ломаная везде идёт круче, чем y(n). Поэтому если t1>n1 и t2>n2, то пересечений с y(n) на всём этом интервале нет.
Ещё можно сообразить, что для n<m^p производная не превосходит p (для n = <kkk...k>)