sum( combination(9,k) (1/64)^k (63/64)^(9-k) ,k,5,9)