sum_(k=0)^(-1+n) 1/binomial(n, k), for n=8