Has he looked at the Churchill scholarship (his LAC has to be on the list of eligible colleges)? It provides full funding for a year in Cambridge and quite a few of the winners do the Part III math course, which is famous for attracting top mathematicians prior to a PhD:
I’d agree with others that math is pretty elitist in terms of the need to go to top programs if you want an academic career, especially in pure math.