А надо было просто открыть Феллера)), кому интересно и лень открывать привожу решение.
В его основе лежат следующие утверждения:
1) Пусть

и

, тогда

и

где

--- вероятность того. что значение

впервые достигается в момент

, более того, оказывается, что

--- вероятность того, что в момент времени

имеет место

-е возвращение в начало координат.
Пусть

--- вероятность того, что за время

частица ровно

раз возвратится в начало координат. Тогда

Доказательство: пусть последнее возвращение в ноль произошло в момент

, участок длины

после последнего возвращения можно выбрать столькими же способами, сколькими можно выбрать путь, соединяющий

и

. Следовательно искомая вероятность равна вероятности того, что в момент

произойдет возвращение в ноль и ему будут предшествовать не менее

возвращений.

Для суммирования разложим
