[math-fun] polyhedral dice problem