A researcher needs to calculate the sample size $n$ for a mean estimate. The population standard deviation $\sigma = 15$, the desired margin of error $E = 3$, and the critical value for $99\%$ confidence is $z^* = 2.576$. Which formula is correct?