 Beta-binomial conjugacy

A beta prior $\mathrm{Beta}(\alpha ,\beta )$ combined with $s$ Bernoulli successes and $f$ failures gives posterior $\mathrm{Beta}(\alpha +s,\beta +f)$.