The workweek for adults in the US that work full time is normally distributed with a mean of 47 hours. A newly hired engineer at a start-up company believes that employees at start-up companies work more on average then working adults in the US. She asks 15 engineering friends at start-ups for the lengths in hours of their workweek. Their responses are shown in the table below. Test the claim using a 1% level of significance.

See Excel for Data.

workweek hour data.xlsx

The hypotheses for this problem are:

H₀: = 47

H_1: > 47

What is the correct summary?