In the situation of Exercise 28, suppose that past records show that neutron stars average about 1.3 in mass, with a standard deviation of 0.2. This prior information is rather vague, so the robust...

In the situation of Exercise 28, suppose that past records show that neutron stars average about 1.3 in mass, with a standard deviation of 0.2. This prior information is rather vague, so the robust Bayesian analysis with
 in Subsection 4.7.10 (for unknown a²) is to be used. Calculate the robust Bayes estimate of 0, and determine an approximate 90% credible set for 0.