Не уверен, что это является доказательством:
Обозначим q_n вероятность оказаться на расстоянии n шагов от бутылки.
Вероятность того, что пьяница уйдёт на бесконечное число шагов от бутылки, равна нулю.
Вероятность того, что пьяница будет бесконечно блуждать на ограниченном отрезке, равна нулю.
Значит пьяница когда-нибудь дойдёт до бутылки.
p.s. Поясню:
,
где
- это вероятность того, что оказавшись на расстоянии n-1 шагов от бутылки, пьяница начнёт двигаться только вперёд.
-- 23.05.2013, 14:12 --Хотя, наверное, произведение бесконечного количества чисел, каждое из которых меньше 1, не обязательно равно нулю. Так что я неправ.