Ну во-первых, к чему

, когда от

ничего не зависит? Вполне достаточно

. Да и дискуссионного в этой теме ничего нет.
Положение описанной частицы в момент

определяется хорошо известным в теории массового обслуживания соотношением

,

- скачки блуждания,

. Если скачки блуждания

независимы и одинаково распределены, то распределение величины

совпадает с распределением

(могу врать на единичку в каких-нибудь индексах), где

. Т.е. с распределением

- максимум последовательных сумм. Подробнее об этом см., например, "ТВ" А.А.Боровкова, параграф 4 гл. 11.
В свою очередь, распределение супремума первых

сумм для полунепрерывного сверху случайного блуждания (а наше такое и есть) ищется с помощью двойственных соотношений между

и моментом

первого выхода блуждания

на уровень

. Эти двойственные соотношения

следуют из тождества Поллачека - Спитцера. Подробнее об этом там же, параграф 8.
Вероятность в правой части считается по формуле Бернулли для соответствующих

, по ней находится

, а дальше распределение максимума первых

сумм ищется как

.