Мапл дает выражение через гипергеометрические функции:
Код:
> sum(binomial(4*k+3,k)*(-1)^k,k=0..n);
hypergeom([1, 5/4, 3/2, 7/4],[4/3, 5/3, 2],-256/27) - binomial(4*n+7,n+1) * (-1)^(n+1) * hypergeom([1, n+5/2, n+9/4, n+11/4],[n+3, n+7/3, n+8/3],-256/27)
В качестве ответа ожидается что-то более компактное?