The average (arithmetic mean) of a professor's salary at University M is s. Is the average salary of a professor at University D at least 25 percent higher than that for a professor at University M?
1. At University M, the budget allocates $3,500,000 for faculty remuneration.
2. At University D, the budget allocates $6,000,000 for faculty's salaries.