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 )
Show the first and last names of them
select t2.fname, t2.lname from course as t1 join faculty as t2 on t1.instructor = t2.facid group by t1.instructor order by count ( * ) desc limit 3