Suppose you draw a random sample of size n from a normal distribution with unknown mean μ and known standard deviation σ and construct a 95% confidence interval for μ. If you want to halve the margin of error, how much larger would the sample size have to be?