Jori Mäntysalo Thu, 07 May 2015 03:28:37 -0700
I was asked where f(n,k)=(binomial(2*n + 2, n + 1) / 2 - binomial(2*n, n) - sum(binomial(n, k) * binomial(n, k-1), k,1,n)) f.full_simplify()
got magic constant sqrt(pi). Right answer is zero. -- Jori Mäntysalo
