[math-fun] Chess ratings probability distribution function