[math-fun] Cute probability problem