sum from i = (n/2 - x) to n - x of ((n - x) choose i) (1/4)^i (3/4)^{n-x-i} = 1/2