As reported by the U.S. National Center for Health Statistics, the mean serum high-density (HDL) cholesterol level of females 20-29 years old is 53 mg/dL with a standard deviation of 13.4. the variable is normally distributed. What is the probability that a randomly selected 20–29-year-old female has a serum HDL cholesterol level above 71? (Round answer to four decimal places.)