Give the building that the instructor who teaches the greatest number of courses lives in.
select t2.building from course as t1 join faculty as t2 on t1.instructor = t2.facid group by t1.instructor order by count(*) desc limit 1