October 16th, 2013, 1:33 pm
QuoteOriginally posted by: ymousOK, I get the same answer, but just wanted to provide more rigorous reasoning.If s < S/2 after opening n boxes, then the expected gain for (n+1)th box is (S - s) / (N - n) - s / (N - n) = (S - 2s) / (N - n), which is already positive. So one must continue regardless of the option to keep playing after (n+1)th box.This, however, doesn't necessarily imply that one must stop if s > S/2. To show that, use induction.Conjecture: If s > S/2, one must stop.The conjecture is trivially true when there is only one box left.The conjecture is also true when there are two boxes left, because the expected gain is (S - s) / 2 - s / 2 = (S - 2s) / 2 < 0.Now assume the conjecture is true when k boxes are left.When k+1 boxes are left, the expected gain for the next box is (S - s) / (k + 1) - s / (k + 1) = (S - 2s) / (k + 1) < 0. Therefore one must stop, and the conjecture is true. (Notice there is no need to consider the option to keep playing because if s is larger than S/2 with k+1 boxes left, s will be automatically larger than S/2 with k boxes left.)Conclusion: one must continue if s < S/2 and stop if s > S/2. (I find it somewhat surprising that this is the same answer you get without considering the option to keep playing.)For any time t where t <= this stopping time - the process is a sub-martingale, after the stopping time its a super-martingale. I think theres a theorem you can use which verifies this as the optimal stopping time otherwise some elementary probability will show that this strategies expected return dominates any other (potentially random) strategy.