Re: [math-fun] Chess ratings probability distribution function