Different formulas are generally presented for estimation of a population proportion in the large-population versus small-population cases. For example, looking at the Penn State website:
Section 6.2 - Estimating a Proportion for a Large Population:
Section 6.3 - Estimating a Proportion for a Small, Finite Population:
I'm wondering if there's a specific English language name for that extra factor of $\frac {N - n} {N - 1}$ in the small-population case?
(By way of analogy, I'm looking for something similar to the name Bessel's correction for use of $n - 1$ in the sample standard deviation formula to get an unbiased estimator there.)