6  Inferring a Binomial Probability via Exact Mathematical Analysis