\(\sum(y_i/\pi_i)/\sum(1/\pi_i)\): the Horvitz-Thompson total
divided by the ESTIMATED population size. Biased in finite samples
– it is a ratio of two random quantities – but the bias is
\(O(1/n)\) against a first-order variance reduction, because
numerator and denominator move together. That cancellation is the
whole argument, and it fails when y is uncorrelated with the
weights. Mirrors morie.fn.hjkest.
