What is the average teaching ability of the most popular professors?
average = AVG(teachingability); most popular professor refers to MAX(popularity);
SELECT CAST(SUM(teachingability) AS REAL) / COUNT(prof_id) FROM prof WHERE popularity = ( SELECT MAX(popularity) FROM prof )