sum binomial(23, k)(1/4)^k(3/4)^(23-k) for k = 16 to 23