A formal hypothesis test is to be conducted using the claim that the mean AC thermostat setting in restaurants is equal to 74degrees°F. What is the null hypothesis and how is it​ denoted?