Among the most popular professors, how many are females?
the most popular professors refers to prof_id where MAX(popularity); female refers to gender;
SELECT COUNT(prof_id) FROM prof WHERE gender = 'Female' AND popularity = ( SELECT MAX(popularity) FROM prof )