Watch your cholesterol: The mean serum cholesterol level for U.S. adults was 204, with a standard deviation of 42.5 (the u
are milligrams per deciliter). A simple random sample of 112 adults is chosen. What is the probability that the sample mean cholesterol level is greater than 212?
The probability that the sample mean cholesterol level is greater than 212 is