賭徒破產理論的數學證明