For the data of Exercise 11.3.5, test the hypothesis H0: 2400 mg versus Ha:

For the data of Exercise 11.3.5, test the hypothesis H0: μ ≥ 2400 mg versus Ha: μ > 2400 mg for this ethnic group.
In exercise 11.3.5
It is recommended that the daily intake of sodium be 2400 mg per day. From a previous study on a particular ethnic group, the prior distribution of sodium intake is believed to be normal with mean 2700 mg and standard deviation 250 mg. If a recent survey for this group resulted in a mean of 3000 mg and standard deviation of 300 mg, obtain a 95% credible interval for the mean intake of sodium for this ethnic group.