A sample of $10$ elements was taken from a normal population, provided a variance $25$. Calculate the sample size that evaluates the population mean with error of $2.5$ units at the $95$% confidence level.
There exists a formula to calculate the size of the sample, but in the formula it needs the population standard deviation, and I can't see a way to aproximate the standard deviation given only the variance of the sample.