What sample size is necessary to estimate the true mean porosity to within 0.25 (ie with half width 0.25) with 95% confidence?