Function Binomial-Probability-Exact

Part of:

package cl-mathstats
( binomial-probability-exact < p > < n > < k > )

This is an exact but computationally intensive form of the preferred
function, `binomial-probability.'