Question: Show me the name of instructors? | Here is the table of first and last names of faculties. | How many instructors are teaching top 3 number of courses?
SQL: select count ( * )  from  ( SELECT * FROM COURSE AS T1 JOIN FACULTY AS T2 ON T1.Instructor  =  T2.FacID GROUP BY T1.Instructor ORDER BY count ( * )  DESC LIMIT 3 )