The monthly income of residents of Daisy City is normally distributed with a mean of $3000 and a standard deviation of $500.
The mayor of Daisy City makes $2,250 a month. What percentage of Daisy City's residents has incomes that are more than the mayor's?