This is probably going to open a can of worms, but that's never stopped me before...
The Clopper-Pearson confidence intervals have been shown (Agresti, A. and Coull, B.A.(1998); "Approximate is Better Than Exact for Interval Estimation of Binomial Proportions"; The American Statistician Vol. 52 No .2; pp. 119-126) to have coverage probabilities that are overly conservative, especially in the tails.
That paper recommends Wilson Score Intervals, which are calculated natively in JMP in the Distribution platform. Since I usually find myself thinking about "average" coverage performance of confidence intervals, and not "worst-possible" coverage performance, I tend to prefer the Wilson Score CI's.
Clopper-Pearson is the historical "gold standard", but I recommend you cast off the yoke of convention and go Wilson Score. Plus, no formulae are required.