10.16 The Rockwell hardness index for steel is determined by pressing a diamond point into the steel and measuring the depth of penetration. For 50 specimens of a certain type of steel, the Rockwell hardness index averaged 62 with a standard deviation of 8. The manufacturer claims that this steel has an average hardness index of at least 64. Test this claim at the 1% significance level. Find the p-value for this test.