PRBINOMIAL
PRBINOMIAL(j;n;p) probability of j successes out of n binomial trials with probability of success p.