[math-fun] Poker hands and majorising sequences