sum(binom(n+x, x)) for x from 0 to n