In 2017 the average healthcare premium in Ohio was $390 per month per family. Due to several changes over the past few years it is believed that the current average premium is more than the 2017 average premium. A random sample of 50 Ohio families yielded an average premium of $529.Suppose the population standard deviation for premiums is $250.

Define the population mean µ under study and state the null and alternative hypothesis for the parameter.