Given his age and the likely event that he does not get into a tippy top program, I’d recommend that he look at some MA/MS programs at top math Unis. A few more classes, some great recs and research, and, more importantly, a lot more maturity might make him more attractive to the biggies. That might be a better bet than ‘settling’ for a low-ranked safety.