Data show that men between the ages of 20 and 29 in a general population have a mean height of 69.3?inches, with a standard deviation of

3.1

inches. A baseball analyst wonders whether the standard deviation of heights of?major-league baseball players is less than

3.1

inches. The heights?(in inches) of

20

randomly selected players are shown in the table.

Data table 72 74 71 72 76 70 74 72 72 77 71 75 170 73 74 75 73 74 73