sum_(k=0)^floor((n - 1)/2) binomial(n, 2 k + 1) 2^k = ((1 + sqrt(2))^n - (1 - sqrt(2))^n)/2^(3/2) for (n element Z and n>=0)