Exact Bounds on the Probability of at least Successes in Exchangeable Bernoulli Trials as a Function of Correlation Coefficients