sum binomial[25, n]*3^(25-n)/4^(25) for n from 15 to 25