Это какая-то подозрительная группировка и не уверен, что она
буквально верна; во всяком случае, не нужна она точно. Нужно вот что. Очевидно, что числитель знакопостоянен (т.е. тождественно равен или плюс единичке, или минус единичке) на любом участке вида
, где
-- целое, а двойки добавлены для надёжности, чтобы не возиться с нюансами. Пусть для определённости
чётное (хоть это и непринципиально), т.е. рассмотрим участки с гарантированной положительностью членов. На каждом таком участке сумма членов оценивается снизу через соответствующий интеграл, который считается явно и на выходе стремится к единице при
. Т.е. не стремится к нулю, т.е. нарушается условие критерия Коши.
Хочется попробовать сделать таким способом! Пока что не очевидно -- в чем заключается надежность добавлениЯ
.