A sultan has granted a commoner a chance to marry one of his daughters. The commoner will be presented with the daughters one at a time and, when each daughter is presented, the commoner will be told the daughter's dowry (which is fixed in advance). Upon being presented with a daughter, the commoner must immediately decide whether to accept or reject her (he is not allowed to return to a previously rejected daughter). However, the sultan will allow the marriage to take place only if the commoner picks the daughter with the overall highest dowry. Then what is the commoner's best strategy, assuming he knows nothing about the distribution of dowries (Mosteller 1987)?
Since the commoner knows nothing about the distribution of the dowries, the best strategy is to wait until a certain number of daughters have been presented, then pick the highest dowry thereafter (Havil 2003, p. 134). The exact number to skip is determined by the condition that the odds that the highest dowry has already been seen is just greater than the odds that it remains to be seen and that if it is seen it will be picked. This amounts to finding the smallest such that
(1)
|
More specifically, the probability of obtaining the maximum dowry after waiting for out of daughters is
(2)
|
where is a harmonic number (Havil 2003, p. 137), plotted above for a number of specific values of as a function of (left figure above) and as a surface plot in and (right figure).
The solution is therefore the smallest such that
(3)
|
Solving,
(4)
|
numerically and taking the ceiling function then gives the solutions 0, 1, 1, 2, 2, 2, 3, 3, 3, 4, 4, 5, 5, 5, ... (OEIS A054404) for , 2, ... daughters.
Surprisingly, the convergents for the continued fraction of , given by 0, 1/2, 1/3, 3/8, 4/11, 7/19, 32/87, 39/106, 71/193, 465/1264, ... (OEIS A007676 and A007677), correspond exactly to pairs , where is the optimal value for daughters (Havil 2003, p. 137).
An approximate solution can be obtained by using a series expansion for about infinity,
(5)
|
where is the Euler-Mascheroni constant, and plugging this approximation into (4), giving
(6)
|
This can be solved in closed form to give an approximate solution to ,
(7)
|
where is the Lambert W-function. In fact, taking gives the correct result for .
Another approximation can be obtained by taking a series expansion of to obtain
(8)
|
Taking the derivative and setting equal to 0 then gives
(9)
|
which is within 1 of the correct answer for all .
The plot above illustrates these two approximations (red and blue curves) together with the actual values (black dots). Both approximations have series expansions of the form
(10)
|
where and are small constants.
The problem is most commonly stated with daughters, which gives the result that the commoner should wait until he has seen 37 of the daughters, then pick the first daughter with a dowry that is bigger than any preceding one. With this strategy, his odds of choosing the daughter with the highest dowry are surprisingly high: about (Honsberger 1979, pp. 104-110, Mosteller 1987; Havil 2003, p. 136). As the number of daughters increases, this tends towards (OEIS A068985).