Neyman allocation and proportional allocation