High-density lipoprotein (HDL) cholesterol is some-times referred to as the "good" cholesterol. A sample of 13 female volunteers had their HDL cholesterol levels measured (in mgydL), giving
the following data: 58 60 48 55 56 46 54 50 49 51 53 54 53. Assume that the data come from a
normal distribution. Do the data suggest that the population mean cholesterol level is 50
mgydL?