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

S>Я не очень понимаю, как вы получили 1/k из k/pow(2, k).

Я привел пример того, что даже если k-й член ряда — бесконечно мал, это не гарантирует его сходимость

S>Скажем, сумма ряда 1/k символической оптимизации не поддаётся. А вот если речь идёт об арифметике даблов, то начиная с конкретного K0 мы получаем при делении floating underflow и дальнейшее суммирование бессмысленно.

Это проблема даблов. Гармонический ряд ведет себя как логарифм (есть даже формула которая позволяет выразить его частичную сумму как логарифм n + константа).