Он и не заявляет, что ряд сходится, он лишь пишет какое-то приближенное число
Окей, можете попробовать ввести в альфу SumConvergence[(Sqrt[n] - Floor[Sqrt[n]])/n, n] или Sum[(Sqrt[n] - Floor[Sqrt[n]] - c)/n, {n, 1, Infinity}] (ссылки не кидаю, они почему-то ломаются), тогда его мнение на этот счёт станет ясно. Но ответ на мой вопрос — я прав, да?