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?
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 ) 
name of instructors refers to joining COURSE and FACULTY tables on Instructor and FacID; top 3 number of courses taught by instructors refers to ORDER BY COUNT(*) DESC LIMIT 3; how many instructors are teaching refers to SELECT COUNT(*);