See also Kalton (2021, Survey Sampling, Sage) on p. 14 the discussion of finite population corrections. (or for free at https://www.statisticshowto.com/finite-population-correction-factor/). You can use this within a power analysis (using simulation).