The first positive position of a lattice random walk

The distribution of the first positive position reached by a random walker starting at the origin is central to the analysis of extremes and records in one-dimensional random walks. In this work, we present a detailed and self-contained analytical study of this distribution for symmetric finite-range lattice walks, whose steps are drawn from a distribution supported on finitely many integers.