Пусть

Пусть

- последовательность чисел вида

, где

, такая, что эти числа расположены в порядке возрастания.
Последовательность начинается так:

Генерировать последовательность на PARI можно например вот так:
Код:
f(n)=n/2^valuation(n, 2)
my(z=1); for(k=1,30, while(!((valuation(z, 2)+logint(f(z), 2)+1)%f(z)==0), z++); print([k,z]); z++);
Пусть

- это
A060831, сумма по

от

до

числа нечетных делителей

.
Я предполагаю, что

.
Если мое предположение верно, то существует ли способ как-то доказать это?