A recent study estimated that 20% of all college students in the United States smoke. The head of Health Services at Goodheart University suspects that the proportion of smokers may be lower at this particular university. In hopes of confirming her claim, the head of Health Services chooses a random sample of 400 Goodheart students, and finds that the results are lower than the recent study. What type of statistical inference is this?