The Best Strategy for Estimating the Mean of a Finite Population