У Вас коснинус возрастающая функция? (она не монотонная вообще, но это и не надо). Избавьтесь от

или

, Зачем вам 2 переменные? Вы уже знаете что ряд расходиться, зачем вы пытаетесь доказать что он сходиться? У вас не получиться.
Да,

тут лишний. Пусть

, тогда:

, поэтому сделать его меньше произвольного

нельзя. В данном случае ряд расходится.
Это частный случай вопроса сходимости ряда:
где

- действительное число,

- аддитивная арифметическая функция.
Меня интересует вопрос, при какой асимптотике

ряд (1) сходится?
Так как ряд

- сходится, то ряд (1) сходится, если сходится ряд:

.(2)
Ряд (2) сходится, если сходится ряд

. (3)
Частным случаем (3) при

являлся исследуемый ряд.
Там у нас получилось, что критерием сходимости ряда (3) является

, где

- интервал знакопостоянства ряда (3). В нашем примере

- не равен 0. Значит при асимптотике

ряд (3) расходится, расходятся и ряды (2) и (1).