15 Sep
2015
15 Sep
'15
3:25 p.m.
On Sep 15, 2015, at 5:04 PM, Bill Gosper <billgosper@gmail.com> wrote:
Out[305]= 1 - n + n*Log[n] - Inactive[Sum][Log[z], {z, 2, n}] == (-(1/24))*Inactive[Sum][ ConditionalExpression[ (-1 + 3*¢*(1 + ¢)* (-1 + 10*¢*(1 + ¢)* (1 + 12*¢*(1 + ¢))) + 180*¢^3*(1 + ¢)^3* (1 + 2*¢)*(Log[¢] - Log[1 + ¢]))/(15*¢^3*(1 + ¢)^3), Re[¢] > 0 || Re[¢] < -1 || NotElement[¢, Reals]], {¢, 1, -1 + n}] + Inactive[Sum][((-1)^¢*BernoulliB[1 + ¢]* Derivative[¢][-Log[1 + #1] + Log[n + #1] & ][0])/ (1 + ¢)!, {¢, 0, 3}] I see you have gone beyond asserting “my two cents” by summing to ¢=3.
-Veit