Find the names and number of works of the three artists who have produced the most songs.
select t1.artist_name, count(*) from artist as t1 join song as t2 on t1.artist_name = t2.artist_name group by t2.artist_name order by count(*) desc limit 3