sum(binomial(10,k) (1/2)^{k} (1/2)^(10-k) ) from k=4 to 10