The dean of a business school claims that the average starting salary of its graduates is more than 85 (in $000's). It is known that the population standard deviation is 10 (in $000's). Sample data on the starting salaries of 64 randomly selected recent graduates yielded a mean of 88 (in $000s). Which of the following sets of hypotheses is correct?