[math-fun] secretary problem