From the meticulously compiled annual report on medical statistics in the U.S., a typical adult male has an average cholesterol reading of 242.2 mg/dL with a standard deviation of 45.4 mg/dL. If you randomly select 25 adult males what is the probability that the average cholesterol reading of your sample group will be greater than 253 mg/dL?