Question: The National Center for Health Statistics (NCHS) reports that systolic blood pressure for males 35 to 44 years of age has a mean of 128 and standard deviation 15. The medical director of a large company looks at the medical records of 112 executives in this age group and finds that the mean systolic blood pressure in this sample is 126.07. Is this evidence that the company’s executives have lower blood pressure from NCHS? Set up the hypotheses and test the validity of this claim.