Prove an analogous result to Theorem 12.2.5 when sampling from an infinite population, where the asymptotic variance has the same form as (12.21)

with f = 0. Assuming s2(1) and s2(0) are known, how would you allocate treatment among the N0 units to minimize the asymptotic variance? (The solution is known as Neyman allocation.)