The weight of football players is normally distributed with a mean of 200 pounds and a standard deviation of 25 pounds. the probability of a player weighing more than 241.25 pounds is