здесь проблема - мы не знаем знак этой разницы,
Нет, мы её знаем. Константы "а" и "б" -- они фиксированы, это те ровно два значения косинусов. И фиксированно отличаются друг от дружки. В то время как знаменатели (квадраты соседних логарифмов) -- всё более и более относительно близки друг к другу. И, следовательно, знак (как минимум при достаточно больших номерах, чего и достаточно) -- вполне определён.
Ладно, я могу предложить малость по-другому. Гораздо вульгарнее, но, может, и более наглядно. Оцените отдельно сумму положительных слагаемых и сумму отрицательных через соотв. интегральные. Они асимптотически пропорциональны, но коэффициент пропорциональности не равен единице, и при этом уходят на бесконечность. Ч.т.д.