sum(binomial(1/2,k),k=0...n)