The mean cholesterol level for American adults is 190 mg/dL with a standard deviation of 35 mg/dL. A new retinoid medication warns that taking it may increase cholesterol levels. A study was taken of 800 patients who are taking this new retinoid. After six months on the retinoid medication, their mean cholesterol level was 192mg/dL. You are going to run a hypothesis test at a 1% level of significance to see if there is evidence that the retinoid users have higher cholesterol than average American adults. Select the appropriate null hypothesis for this scenario