Based on my deterministic analysis below, I would guess that we'll have 3.144 players from the Super Bowl roster in the Hall of Fame. After a couple more Super Bowls the numbers will go up, and of course Andy Reid will go in as a non-player.
(Mahomes is less than 100 percent just because there's a non-zero chance that he could decide to move to Nepal and become a monk or something.)