Question: Find the number and averaged salary of all instructors who are in the department with the highest budget.
SQL: SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1