Larcombe, Peter J.; Larsen, Mogens E. The Sum 16nΣ2nk=04k( 1/2k)(-1/2k)(-2k 2n-k): A Proof of Its Closed Form. A Canadian journal of applied mathematics, computer science and statistics 2009, 79.