[math-fun] Primogeniture question