Data was collected from 74 mature great white sharks and they had mean of 13.8 feet and standard deviation of 2.7 feet. Furthermore, 23 0f those sharks were over 16 feet long.
a. can you say at the .01 significance level that average length of mature great white shark is less than 15 feet?