[math-fun] proportional representation