On the Local Time of a Stopped Random Walk Attaining a High Level

An integer-valued random walk with zero drift and finite variance stopped at the time of the first hit of the semiaxis is considered. For the random process defined for a variable as the number of visits of this walk to the state and conditioned on the event , a functional limit theorem on its convergence to the local time of the Brownian high jump is proved.