Sample Size Calculations for Binomial Proportions via Highest Posterior Density Intervals | Synapse