Возникла необходимость упростить выражение с суммой (т.е. раскрыть сумму, оставив N как параметр):

.
Воспользовался Mathematica, получил некоторый результат (примерно то же, что даёт Wolfram Alpha:
http://tinyurl.com/bzt8ha6 ). Так же для других пределов получаются другие выражения.
В принципе, полученная в ответе формула прекрасно работает, однако возник вопрос: а как она получилась? Что-то мне исходное выражение не напоминает ни арифметическую, ни геометрическую прогрессию, ни что-либо другое, для чего известны выражения...
Соответственно, в этом вопрос: какая формула используется здесь для раскрытия этой суммы?