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