A statistics practitioner would like to estimate a population mean to within 50 units with 99% confidence given that the population standard deviation is 250. What sample size should be used