sum (1/4)^k * (3/4)^(25-k) * (25 choose k) from k=10 to k=25