gwern comments on Estimating the Number of Players from Game Result Percentages