sum(2^(n - 2*k) * binom(n-2, 2*k-2) * binom(2*k-2, k-1) / k, k, 1, n/2)