Confidence interval for [math]\mu[/math] when standard deviation is known. You can calculate this with Probability Calculator in Geogebra. Choose Statistics and Z Estimate of a mean.