sum(C(-n-1,r)*(-1/2)^r),r=n+1 to infty