A researcher wants to estimate the population mean with a margin of error $E$. If the population standard deviation $\sigma$ is known, what is the formula to calculate the required sample size $n$?