8.02 Confidence Interval for One Mean