sum y C(2n-y,n-y)(1/2)^(2n-y) , y = 0 to n